diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-07-17 15:49:55 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-07-17 15:49:55 +0200 |
| commit | 59a5c0462ffbfaecc4ff6739e9ee424e3e67bdb1 (patch) | |
| tree | e9e922b6782ae6001dae7de12f9e7eaea6e9b22b /nimpretty | |
| parent | 1aa34353177aaa63ff1f89b66b4b1673e5ff94ab (diff) | |
| download | Nim-59a5c0462ffbfaecc4ff6739e9ee424e3e67bdb1.tar.gz | |
fixes #8338
Diffstat (limited to 'nimpretty')
0 files changed, 0 insertions, 0 deletions