]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 708d2e2) | patch
fixed typo
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Oct 2004 19:14:20 +0000 (19:14 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Oct 2004 19:14:20 +0000 (19:14 +0000)
commita8fa717b6fe0f59ced6ac78f4d7bb6255a7405ec
tree9e521701c8d90831f628f402e801ab53358e09b9tree | snapshot
parent708d2e2da7e5cfae98d69b325db56960e33fd38fcommit | diff
fixed typo
helm/ocaml/utf8_macros/README.syntax diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.