diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2016-10-20 18:47:47 +0200 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2016-10-20 21:40:04 +0200 |
commit | 4e51b562d4bbad7935333325e486492599358fae (patch) | |
tree | aa8a4bb1347a275345ede9e9a7c1e59dbe1d2019 /web/website.ini | |
parent | 83a0c7200fd23197e03a54409a0ecf794133c726 (diff) | |
download | Nim-4e51b562d4bbad7935333325e486492599358fae.tar.gz |
fixes #3755
Diffstat (limited to 'web/website.ini')
-rw-r--r-- | web/website.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/website.ini b/web/website.ini index 89077d6dd..833122ecb 100644 --- a/web/website.ini +++ b/web/website.ini @@ -63,7 +63,7 @@ srcdoc2: "deprecated/pure/ftpclient" srcdoc2: "pure/asyncfile;pure/asyncftpclient" srcdoc2: "pure/md5;pure/rationals" srcdoc2: "posix/posix" -srcdoc2: "pure/fenv;pure/securehash" +srcdoc2: "pure/fenv;pure/securehash;impure/rdstdin" srcdoc2: "pure/basic2d;pure/basic3d;pure/mersenne;pure/coro;pure/httpcore" ; Note: everything under 'webdoc' doesn't get listed in the index, so wrappers |