]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70ddfe8) | patch
removed now useless (due to automake) Makefile
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 16:37:14 +0000 (16:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 16:37:14 +0000 (16:37 +0000)
commite4da13af3105beacce8ddcd55315f759766486e0
treedaa4849bfe8d91e5617a0231374d24b7a48470c6tree | snapshot
parent70ddfe8d7aad2f58a759736c5678fa99e2611da3commit | diff
removed now useless (due to automake) Makefile
helm/DEVEL/gdome_xslt/Makefile [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.