Minor changes to configuration file
Description
Description
Details
Details
- Committed
andrea May 4 2017, 10:45 - Pushed
cimatori May 4 2017, 10:45 - Parents
- R3351:f1d3764301b5: Deal with corner cases decently, fix bug in kill area writing
- Branches
- Unknown
- Tags