Change some node filenames to avoid clashes with subdomains
authorAdam Chlipala <adamc@hcoop.net>
Thu, 14 Aug 2008 13:07:24 +0000 (13:07 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 14 Aug 2008 13:07:24 +0000 (13:07 +0000)
commit3ae703b6dff72066727eb5087151c4be8d439ed3
tree1956273cb604d569ea91f93170edcb71f38ac903
parentd5601036c7741331817c154eb4f14d77a53808fc
Change some node filenames to avoid clashes with subdomains
src/domain.sml
src/plugins/alias.sml
src/plugins/bind.sml
src/plugins/exim.sml
src/plugins/mailman.sml