Run domtool as hcoop.daemon instead of hcoop
[hcoop/portal.git] / dir.mlt
2005-04-16 Adam ChlipalaFinished user-level contact stuff