diff options
Diffstat (limited to 'web/website.ini')
| -rw-r--r-- | web/website.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/web/website.ini b/web/website.ini index 696829764..6266f05bb 100644 --- a/web/website.ini +++ b/web/website.ini @@ -59,6 +59,7 @@ srcdoc2: "pure/nimprof;pure/unittest;packages/docutils/highlite" srcdoc2: "packages/docutils/rst;packages/docutils/rstast" srcdoc2: "packages/docutils/rstgen;pure/logging;pure/asyncdispatch;pure/asyncnet" srcdoc2: "pure/rawsockets;pure/asynchttpserver;pure/net;pure/selectors;pure/future" +srcdoc2: "pure/asyncfile" srcdoc2: "pure/md5" srcdoc2: "posix/posix" srcdoc2: "pure/fenv" |