diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/nimrod.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/nimrod.ini b/web/nimrod.ini index 544446b11..38a906ac5 100644 --- a/web/nimrod.ini +++ b/web/nimrod.ini @@ -41,7 +41,7 @@ doc: "tools;niminst;nimgrep;gc;estp;idetools;docgen;koch;backends.txt" pdf: "manual;lib;tut1;tut2;nimrodc;niminst;gc" srcdoc2: "system.nim;impure/graphics;wrappers/sdl" srcdoc2: "core/macros;pure/marshal;core/typeinfo;core/unsigned" -srcdoc2: "impure/re;pure/sockets" +srcdoc2: "impure/re;pure/sockets;pure/typetraits" srcdoc: "system/threads.nim;system/channels.nim;js/dom" srcdoc2: "pure/os;pure/strutils;pure/math;pure/matchers;pure/algorithm" srcdoc2: "pure/complex;pure/times;pure/osproc;pure/pegs;pure/dynlib" |