]> matita.cs.unibo.it Git - helm.git/commit
clean typo
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 May 2005 15:42:20 +0000 (15:42 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 May 2005 15:42:20 +0000 (15:42 +0000)
commitfe406dbaf19944634fa1ddb8231b7612cef934c6
tree3742d8c801f01aac5d8f007e12f67173c11e40c9
parentd9bd1adaa8588112818d3b6977a5c42a03755a21
clean typo
helm/ocaml/thread/Makefile