diff options
| author | Miran <narimiran@disroot.org> | 2019-02-22 12:28:00 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-02-22 12:28:00 +0100 |
| commit | cedf7847518907b76933c053575afaa50944ad45 (patch) | |
| tree | 28f2337febe476d8c787c4c1aab31701a93a6cca /config | |
| parent | a4543c1aac22e6da8afc7b22445f0cd56380a6ad (diff) | |
| download | Nim-cedf7847518907b76933c053575afaa50944ad45.tar.gz | |
better docs: options (#10720)
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions