config: warn that changing localRoot will not work currently
[hcoop/domtool2.git] / scripts / domtool-reset-local
2006-12-12 Adam ChlipalaThe execution permission dance
2006-12-12 Adam ChlipalaThe execution permission dance
2006-12-12 Adam ChlipalaSome scripts for reseting domtool state