autogenerate config.sml if it does not exist
[hcoop/domtool2.git] / scripts / domtool-addacl
2007-04-07 Adam ChlipalaChange a few more places that relied on old home direct...
2006-12-16 Adam ChlipalaUser add/remove scripts