HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 361a1e7) | patch
Change to domtool-publish script usage
authorAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 18:37:08 +0000 (18:37 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 18:37:08 +0000 (18:37 +0000)
commit27e20924851ac773220fbf5fb810e296a1e0ee6a
treec9a4b6076fb4c1f6c3f1c7813d2c73c58a120a70tree | snapshot (tar.gz zip)
parent361a1e7f7b226811bdb8b4cc0266f34f01ac4bcdcommit | diff
Change to domtool-publish script usage
Makefile diff | blob | blame | history
configDefault/apache.cfg diff | blob | blame | history
configDefault/bind.cfg diff | blob | blame | history
configDefault/bind.csg diff | blob | blame | history
configDefault/exim.cfg diff | blob | blame | history
configDefault/mailman.cfg diff | blob | blame | history
scripts/domtool-publish [new file with mode: 0755] blob
src/domain.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.