]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fe74a9) | patch
* further code cleanup
authorLuca Padovani <luca.padovani@unito.it>
Fri, 3 Oct 2003 14:14:51 +0000 (14:14 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 3 Oct 2003 14:14:51 +0000 (14:14 +0000)
commit910ede646eac96a5730a9a6d273817d4f9ddc9c2
treedb6aa2264380deae6655d12a6c2ef7686e411592tree | snapshot
parent2fe74a94a68285d9fa169fb73cf43183cc21e157commit | diff
* further code cleanup
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.