]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5fd3862) | patch
bugfix: libraries.ps works again
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 24 Nov 2005 08:38:53 +0000 (08:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 24 Nov 2005 08:38:53 +0000 (08:38 +0000)
commitde782c7f0c4c841b8ecad9399a0948016cf3e2bd
treef1e64e6638ee47b51827a1b69e72250308d1789atree | snapshot
parent5fd3862ee12950c8441a313bdc1e0c2cb4078cf0commit | diff
bugfix: libraries.ps works again
helm/ocaml/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.