]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bdd1d6) | patch
Bug fix: destdir for mlminidom installation is now guessed by
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 21 Jan 2002 14:36:53 +0000 (14:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 21 Jan 2002 14:36:53 +0000 (14:36 +0000)
commit3a09b083d615f336ce2c4a948b1440187d735426
treef1d198c2c147472727c16d24c81abfe9a832fd6dtree | snapshot
parent2bdd1d6fe07cc5fa756871467f21524a58d776b2commit | diff
Bug fix: destdir for mlminidom installation is now guessed by
configure
helm/DEVEL/mlminidom/Makefile.in diff | blob | history
helm/DEVEL/mlminidom/configure.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.