join: update library paths, install to new location
[hcoop/portal.git] / mail.sig
2005-04-18 Adam ChlipalaSupport follow-up posting and e-mail notification