HCoop / hcoop / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b986395) | patch
Update command line to grant domain permission
authorAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 18:26:30 +0000 (18:26 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 18:26:30 +0000 (18:26 +0000)
commitba5de264ea4e91c438b3cb6793dffd5cdaadacb6
treebd14f3a3b151baeeb888a1a2e5fc60e7bfa0aad2tree | snapshot (tar.gz zip)
parentb986395e3b620f2c33d38ec27949809751d3e8d1commit | diff
Update command line to grant domain permission
config.sml diff | blob | blame | history
domain.mlt diff | blob | blame | history
mail.sml diff | blob | blame | history
mlt.conf diff | blob | blame | history
pledge.mlt diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.