Store static portal files in repo and install with Makefile
[hcoop/portal.git] / passgen.sml
2009-03-24 Adam ChlipalaPassgen (admin part)