HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64a44dc) | patch
Change dispatcher principal name to be more consistent with other cases
authorAdam Chlipala <adamc@hcoop.net>
Sat, 16 Jun 2007 21:35:17 +0000 (21:35 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 16 Jun 2007 21:35:17 +0000 (21:35 +0000)
commitd307ad55e460dd1ceb4fa0601e45546e2f2a87d3
treeac8e9863fe821e3053248341cf4a6f81e3cd0a3ctree | snapshot (tar.gz zip)
parent64a44dc0899e92d8c1b708fb754ad1b2126c67fecommit | diff
Change dispatcher principal name to be more consistent with other cases
configDefault/domtool.cfg diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.