diff options
| author | Dominik Picheta <dominikpicheta@googlemail.com> | 2018-01-02 13:35:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-02 13:35:31 +0000 |
| commit | b7e69e7cbbf6139316841bcc7c596e93ac78d994 (patch) | |
| tree | 8bbfa851b0f90e3a022cc92c99480ded4a531292 /web | |
| parent | 3f2636c76580c8a086df4255a17b077622434d7d (diff) | |
| parent | 37dde55f8d4c4d9fd7a3968756aa4885c9dbda9a (diff) | |
| download | Nim-b7e69e7cbbf6139316841bcc7c596e93ac78d994.tar.gz | |
Merge pull request #7011 from data-man/shared_docs
Add a shared collections to the docs
Diffstat (limited to 'web')
| -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 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" |