]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 910ede6) | patch
* changed version in configure.ac
authorLuca Padovani <luca.padovani@unito.it>
Sat, 4 Oct 2003 08:21:57 +0000 (08:21 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 4 Oct 2003 08:21:57 +0000 (08:21 +0000)
commit6e8a70cf51cb8af67f30ef47f1b49fdcec72c6cd
tree5a379c909890e2a4c92ea25eda0ea1609a700b97tree | snapshot
parent910ede646eac96a5730a9a6d273817d4f9ddc9c2commit | diff
* changed version in configure.ac
* gdome_xslt.c renamed into x_gdome_xslt.c otherwise there was a conflict
  with make rules that prevented gdome_xslt.o from being built correctly
helm/DEVEL/gdome_xslt/configure.ac diff | blob | history
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am diff | blob | history
helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.