Make deletion checking work right; add mailmanHcoop
[hcoop/zz_old/domtool2-proto.git] / .cvsignore
1 .cm
2 config.sml