Some scripts for reseting domtool state
[hcoop/domtool2.git] / scripts / domtool-reset-local
2006-12-12 Adam ChlipalaSome scripts for reseting domtool state