summary refs log tree commit diff stats
path: root/web
diff options
context:
space:
mode:
authorAraq <rumpf_a@web.de>2018-01-03 02:36:49 +0100
committerAraq <rumpf_a@web.de>2018-01-03 02:36:49 +0100
commit49a00fe6ffa06a5aaa09915fbf918cc089ca2a67 (patch)
treeccbeeb08b1b9750df143b509f61858db059f14c4 /web
parent720c73e6d5c8b21a2d6d528a3a8947e498e9d1ad (diff)
parentb7e69e7cbbf6139316841bcc7c596e93ac78d994 (diff)
downloadNim-49a00fe6ffa06a5aaa09915fbf918cc089ca2a67.tar.gz
Merge branch 'devel' of github.com:nim-lang/Nim into devel
Diffstat (limited to 'web')
-rw-r--r--web/website.ini1
1 files changed, 1 insertions, 0 deletions
diff --git a/web/website.ini b/web/website.ini
index 32b1936d5..273c3223d 100644
--- a/web/website.ini
+++ b/web/website.ini
@@ -51,6 +51,7 @@ srcdoc2: "pure/ropes;pure/unidecode/unidecode;pure/xmldom;pure/xmldomparser"
 srcdoc2: "pure/xmlparser;pure/htmlparser;pure/xmltree;pure/colors;pure/mimetypes"
 srcdoc2: "pure/json;pure/base64;pure/scgi"
 srcdoc2: "pure/collections/tables;pure/collections/sets;pure/collections/lists"
+srcdoc2: "pure/collections/sharedlist;pure/collections/sharedtables"
 srcdoc2: "pure/collections/intsets;pure/collections/queues;pure/collections/deques;pure/encodings"
 srcdoc2: "pure/events;pure/collections/sequtils;pure/cookies"
 srcdoc2: "pure/memfiles;pure/subexes;pure/collections/critbits"