]> matita.cs.unibo.it Git - helm.git/commit
- added test file
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Apr 2004 09:56:08 +0000 (09:56 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Apr 2004 09:56:08 +0000 (09:56 +0000)
commitda6e39e544f2bcb3fdddd18507f9f7f076161a14
tree5edeacac3924f2daefe5db11f3e6b62f62b26783
parentf44ab01307f10d4165c76e3108542a5bc2035766
- added test file
helm/ocaml/getter/.cvsignore
helm/ocaml/getter/test.ml [new file with mode: 0644]