Change default nameservers
[hcoop/domtool2.git] / configDefault / autodoc.csg
1 signature AUTODOC_CONFIG = sig
2
3 val htmlHeader : string -> string
4 val htmlFooter : string
5 val stylesheet : string
6
7 end