Make deletion checking work right; add mailmanHcoop
authoradamch <adamch>
Sat, 17 Nov 2007 22:12:00 +0000 (22:12 +0000)
committeradamch <adamch>
Sat, 17 Nov 2007 22:12:00 +0000 (22:12 +0000)
commit176c3d29d0559e9262e0ad77056d4ddf4fab4492
tree0d287bbb35fb24066f5a07512de73ebc74584215
parent3901a9425a4044f33f90785e388fb4a3bd647d8d
Make deletion checking work right; add mailmanHcoop
lib/hcoop.dtl
src/domain.sml