diff options
| author | Linus Nordberg <linus@nordu.net> | 2016-01-19 17:05:07 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2016-01-19 17:05:07 +0100 |
| commit | 3271c058fa61c22b604515cf8d2bdc61866d3a24 (patch) | |
| tree | 4cbc3ab6d8cbdf7182700bc3d4174f05b0c6b9e1 /tools/compileconfig.py | |
| parent | 2284984acf03ee8d5b9c748d0ac6377df9c08c30 (diff) | |
It's a string, not an integer.
Diffstat (limited to 'tools/compileconfig.py')
0 files changed, 0 insertions, 0 deletions