sf-platform/platform.properties
changeset 36 af82fccdcb75
parent 35 9f78d5788229
child 37 00208f982d58
equal deleted inserted replaced
35:9f78d5788229 36:af82fccdcb75
     1 base_release.getenv_options=emu
       
     2 hg.config=config/full-list.csv
       
     3 threads=1