diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-10-29 17:32:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-29 17:32:56 +0100 |
| commit | 87a60c1b28a777e35701c2f934fc1361818a216e (patch) | |
| tree | 1ec8910aa2d9d2c40db6edfdcf5e621a848f570b /bin | |
| parent | 53d9902347dad9e22171f643916e830c1b20872c (diff) | |
| download | Nim-87a60c1b28a777e35701c2f934fc1361818a216e.tar.gz | |
fixes #15413 (#15768)
* fixes #15413 * better hide it properly * see if this makes our list of important packages happy
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions