HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19f3c4e) | patch
Server executing client's requested configuration with the right permissions
authorAdam Chlipala <adamc@hcoop.net>
Sun, 3 Sep 2006 19:38:36 +0000 (19:38 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 3 Sep 2006 19:38:36 +0000 (19:38 +0000)
commitaa56e112996b3650e8ac343831322d2a9ab0de54
tree957009f434e050a764a1afa460bd11b3d81adc8dtree | snapshot (tar.gz zip)
parent19f3c4e664808d8dafabd9674635d9069bafd7cbcommit | diff
Server executing client's requested configuration with the right permissions
configDefault/domtool.cfg diff | blob | blame | history
configDefault/domtool.cfs diff | blob | blame | history
src/defaults.sig [new file with mode: 0644] blob
src/defaults.sml [new file with mode: 0644] blob
src/domain.sml diff | blob | blame | history
src/domtool.cm diff | blob | blame | history
src/main.sig diff | blob | blame | history
src/main.sml diff | blob | blame | history
src/plugins/apache.sml diff | blob | blame | history
src/plugins/exim.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.