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