diff options
| -rw-r--r-- | config/list/website.lst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/list/website.lst b/config/list/website.lst index 77d01457a6..210b991d4d 100644 --- a/config/list/website.lst +++ b/config/list/website.lst @@ -58,6 +58,7 @@ intro/traits.html intro/unifiedtypes.html intro/upbounds.html intro/variances.html +intro/xml.html js/decls.js js/decls_fr.js |