HCoop / bpt / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6e7d7e) | patch
Change granter.sh to give permissions to user specified on command line
authorAdam Chlipala <adamc@hcoop.net>
Mon, 19 Feb 2007 15:56:03 +0000 (15:56 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Mon, 19 Feb 2007 15:56:03 +0000 (15:56 +0000)
commitff56beeae6be8ad59f42bc79148138de1f68bc56
tree844213f1ab5f62d855930196658ba142a8110903tree | snapshot (tar.gz zip)
parenta6e7d7eda652575623fd558392db474fa997c0d6commit | diff
Change granter.sh to give permissions to user specified on command line
granter.sh diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.