HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d612d62) | patch
Slaves and Exim
authorAdam Chlipala <adamc@hcoop.net>
Sun, 30 Jul 2006 22:00:16 +0000 (22:00 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 30 Jul 2006 22:00:16 +0000 (22:00 +0000)
commit8df2e702cf3e5ed9b8433585b357bbcd9f0d623e
treee007cb2cb731274d7f38bc5868dbc3bf73fc03f9tree | snapshot (tar.gz zip)
parentd612d62cd04b713bb1057fd2e666365704aaf3d6commit | diff
Slaves and Exim
13 files changed:
Makefile diff | blob | blame | history
configDefault/domtool.cfg diff | blob | blame | history
configDefault/domtool.cfs diff | blob | blame | history
configDefault/exim.cfg [new file with mode: 0644] blob
configDefault/exim.cfs [new file with mode: 0644] blob
configDefault/exim.csg [new file with mode: 0644] blob
src/domain.sml diff | blob | blame | history
src/domtool.cm diff | blob | blame | history
src/plugins/exim.sig [new file with mode: 0644] blob
src/plugins/exim.sml [new file with mode: 0644] blob
src/plugins/plugins.cm [deleted file] blob | blame | history
src/slave.sig diff | blob | blame | history
src/slave.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.