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