diff options
| author | tauplus <43274667+tauplus@users.noreply.github.com> | 2019-11-25 18:06:54 +0900 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-11-25 10:06:54 +0100 |
| commit | bfad0056abe5d1da8dda674ff149bc111291ca2f (patch) | |
| tree | d4488f1bd3c0abc388a645f1186f1b5deebe8900 /tools/detect | |
| parent | 1f7871ea1c0b521634631f45c513a213ea3f501d (diff) | |
| download | Nim-bfad0056abe5d1da8dda674ff149bc111291ca2f.tar.gz | |
Fix wrong section hierarchy in the manual (#12724) [backport]
Diffstat (limited to 'tools/detect')
0 files changed, 0 insertions, 0 deletions