diff options
author | Miran <narimiran@users.noreply.github.com> | 2018-10-09 20:58:56 +0200 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2018-10-09 20:58:56 +0200 |
commit | 27e4825c6270471c56dc7ecbd7c1afb825e8d95a (patch) | |
tree | afb5c9756fc008901fe62976a01310c6eb068b7a /web | |
parent | c6dfbfc2cf8005d1c92dbf4453ad5b4a211900be (diff) | |
download | Nim-27e4825c6270471c56dc7ecbd7c1afb825e8d95a.tar.gz |
[cleanup] remove `xmldom` and `xmldomparser` (#9234)
Diffstat (limited to 'web')
-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 18e7bf2cb..c6e7b1cb0 100644 --- a/web/website.ini +++ b/web/website.ini @@ -47,7 +47,7 @@ srcdoc2: "pure/streams;pure/terminal;pure/cgi;pure/unicode;pure/strmisc" srcdoc2: "pure/htmlgen;pure/parseutils;pure/browsers;js/jsconsole" srcdoc2: "impure/db_postgres;impure/db_mysql;impure/db_sqlite;pure/db_common" srcdoc2: "pure/httpserver;pure/httpclient;pure/smtp;impure/ssl" -srcdoc2: "pure/ropes;pure/unidecode/unidecode;pure/xmldom;pure/xmldomparser" +srcdoc2: "pure/ropes;pure/unidecode/unidecode" 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" |