diff options
| author | Araq <rumpf_a@web.de> | 2019-09-30 10:40:00 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2019-09-30 10:40:00 +0200 |
| commit | 86de2cddf610a3fa118b343113ce9ab70ead5411 (patch) | |
| tree | d70019ddf1e43e5101f838402095e5b89018f9e1 /tools | |
| parent | 16c39f9b2edc963655889cfd33e165bfae91c96d (diff) | |
| download | Nim-86de2cddf610a3fa118b343113ce9ab70ead5411.tar.gz | |
fixes #12279 [backport]
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/kochdocs.nim | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/kochdocs.nim b/tools/kochdocs.nim index b660a3c30..7bc8fa4e6 100644 --- a/tools/kochdocs.nim +++ b/tools/kochdocs.nim @@ -219,6 +219,7 @@ lib/pure/endians.nim lib/pure/uri.nim lib/pure/nimprof.nim lib/pure/unittest.nim +lib/pure/quitprocs.nim lib/packages/docutils/highlite.nim lib/packages/docutils/rst.nim lib/packages/docutils/rstast.nim |