HCoop / bpt / portal.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 090e5fb) | patch
Comment out security stuff that we aren't using yet
authorAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 20:43:09 +0000 (20:43 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 15 Dec 2007 20:43:09 +0000 (20:43 +0000)
commita4adbfb9bd12654f046bcf0289c88a97b005b92d
tree108d44660aece8234d0d1285cc970f95db50f026tree | snapshot (tar.gz zip)
parent090e5fb2a269a98e4a9a9d53d17c220d2a98b8f8commit | diff
Comment out security stuff that we aren't using yet
sec.mlt diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.