diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-07-14 17:14:51 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-07-14 17:14:51 +0200 |
| commit | df53c68a363318c9ce080b6827b573a3d60ec760 (patch) | |
| tree | 3032b9081c1325ac7eefd2c4c11aaf973ff08459 /tools/dochack | |
| parent | 58e0dad3712d4e423fd26bd91b26b8a31a85bf33 (diff) | |
| download | Nim-df53c68a363318c9ce080b6827b573a3d60ec760.tar.gz | |
makes devel green again
Diffstat (limited to 'tools/dochack')
0 files changed, 0 insertions, 0 deletions