Assorted goodies
authorAdam Chlipala <adamc@hcoop.net>
Tue, 24 Aug 2004 16:51:23 +0000 (16:51 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 24 Aug 2004 16:51:23 +0000 (16:51 +0000)
commit30ac03786e30672cc378b91974b9b8cc07ff948e
tree4a4299168072be73c8a51acd2a956a3ec8aa77a9
parentfa9b17dc35d87ec5bf97293881ecc729c7814e1f
Assorted goodies
13 files changed:
Makefile
bin/.cvsignore
src/apache/apache.sml
src/exim/exim.sml
src/vmail/access.sig [new file with mode: 0644]
src/vmail/access.sml [new file with mode: 0644]
src/vmail/reloadusers.sml
src/vmail/rlog.cm [new file with mode: 0644]
src/vmail/rlog.main.sml [new file with mode: 0644]
src/vmail/rlog.sig [new file with mode: 0644]
src/vmail/rlog.sml [new file with mode: 0644]
src/vmail/vmail.cm
src/vmail/vmail.sml