public / ack.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cd5074) | patch
did not handle HOL names right (null names)
authorceriel <none@none>
Wed, 29 Jul 1987 10:43:43 +0000 (10:43 +0000)
committerceriel <none@none>
Wed, 29 Jul 1987 10:43:43 +0000 (10:43 +0000)
commit3b0057625d522cbd05de053a2868aca5137e4f90
tree9b45bfe391b00f1bc321f5ecf3b47e0c78abd19ctree | snapshot
parent3cd50745944e030ca7a74937d819a686101a7c06commit | diff
did not handle HOL names right (null names)
util/ego/ca/ca.c diff | blob | history
util/ego/ca/ca_put.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.