contact: fix build
[hcoop/portal.git] / passgen.sml
2009-03-24 Adam ChlipalaPassgen (admin part)