X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/3196000d8e29e14665f43ffd74460b2e6d592250..ec95f39fbe75c414e53f5f922b75390a0179e916:/configDefault/autodoc.cfg diff --git a/configDefault/autodoc.cfg b/configDefault/autodoc.cfg index b80bf5d..85af4c3 100644 --- a/configDefault/autodoc.cfg +++ b/configDefault/autodoc.cfg @@ -1,12 +1,12 @@ structure Autodoc :> AUTODOC_CONFIG = struct val htmlHeader = fn title => - String.concat ["