Changes to support IMAP on hopper all compile but are not tested yet
authorAdam Chlipala <adamc@hcoop.net>
Sun, 27 Sep 2009 19:07:34 +0000 (19:07 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 27 Sep 2009 19:07:34 +0000 (19:07 +0000)
commit9b8c6dc8df86d6ba1c7512cb12445912a9035a89
tree373e474ae5b243fdf35da6a0265f2f7156113e7b
parent647341320ad5c91704b05de3dbbf6222d6ed063c
Changes to support IMAP on hopper all compile but are not tested yet
12 files changed:
configDefault/courier.cfg
configDefault/courier.csg
configDefault/domtool.cfg
configDefault/exim.cfg
configDefault/mailman.cfg
src/domain.sig
src/domain.sml
src/mail/vmail.sig
src/mail/vmail.sml
src/main.sml
src/msg.sml
src/msgTypes.sml