diff options
author | Nadrieril | 2019-02-27 19:27:28 +0100 |
---|---|---|
committer | Nadrieril | 2019-02-27 19:27:28 +0100 |
commit | 8cd386521267bf95ae00b7068cda9422305eec29 (patch) | |
tree | 1032ac5e68e14ef0833358f645670d6858468fec /.gitmodules | |
parent | d8b88c1a5da7218011fca2bccc525907aa439335 (diff) |
Fix mixed up parsing of integers/naturals
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions