diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-12-30 02:45:34 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-12-30 02:45:43 +0100 |
| commit | 062d7e3a398f7afb039ce568cceb32e908e3340e (patch) | |
| tree | 1e3026bc3bb489f50d0cbcf03435cdcc4ac9131e /config | |
| parent | dd33f418779c1476b6d8199f72611e282f889199 (diff) | |
| download | Nim-062d7e3a398f7afb039ce568cceb32e908e3340e.tar.gz | |
fixes #10082
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions