HCoop / bpt / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bb1839) | patch
Correct prose typo
authorAdam Chlipala <adamc@hcoop.net>
Sun, 25 May 2008 13:29:34 +0000 (13:29 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 25 May 2008 13:29:34 +0000 (13:29 +0000)
commit99061f2263e20bc8c2c41c529fb25bc45f80e5ae
tree7a1271c3fe2066fff43488e61a00bcc56c459efctree | snapshot (tar.gz zip)
parent1bb18394126be0c2f9bfb2dc0e147d9180b805f5commit | diff
Correct prose typo
sec.mlt diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.