Fix regeneration of multi-file dependencies
[hcoop/domtool2.git] / src / configTypes.sml
2007-04-10 Adam ChlipalaInitial mod_waklog support