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