X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/3196000d8e29e14665f43ffd74460b2e6d592250..7aa78013a17ce35ec805110a0ef622e403882b6e:/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 ["