webmcp
diff Makefile.options @ 189:44344b4a52c1
Increase precision of exported floats to 16 decimal digits in json.export(...)
| author | jbe |
|---|---|
| date | Sun Aug 10 19:41:45 2014 +0200 (2014-08-10) |
| parents | 88b613f5bc22 |
| children | cd7fce06440d |
line diff
| author | jbe |
|---|---|
| date | Sun Aug 10 19:41:45 2014 +0200 (2014-08-10) |
| parents | 88b613f5bc22 |
| children | cd7fce06440d |