diff options
| author | Araq <rumpf_a@web.de> | 2017-01-07 21:43:42 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2017-01-07 21:43:42 +0100 |
| commit | e95c5c926cc4f97e45b8cbe6c4585722a610e60d (patch) | |
| tree | b20f30dc60e3af437637a48a8efb544bcd73a4fa /ci | |
| parent | 961096b5649d165587352597c08c55cfd7a74496 (diff) | |
| download | Nim-e95c5c926cc4f97e45b8cbe6c4585722a610e60d.tar.gz | |
minor manual improvement; refs #5181
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions