HCoop / bpt / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2cce576) | patch
Join script should rule out retired usernames master origin
authorAdam Chlipala <adamc@hcoop.net>
Tue, 2 Feb 2010 13:19:21 +0000 (13:19 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 2 Feb 2010 13:19:21 +0000 (13:19 +0000)
commit1a386fa5b094a101abedba54ec92a350be1b712f
treecb6f36d18533899cb7a2bbcbed653af1b7307493tree | snapshot (tar.gz zip)
parent2cce576765e93c1f2b34397adbdae6c0e57509a2commit | diff
Join script should rule out retired usernames
app/app.sml diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.