]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: daed032) | patch
better use of variables to install/uninstall stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Dec 2002 08:04:47 +0000 (08:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Dec 2002 08:04:47 +0000 (08:04 +0000)
commit20cfc5110b6140b4d54056026ec9c661deb9d358
tree64fa8a37ebceb60c67588dfe822a460ff0a33e94tree | snapshot
parentdaed03214fe10758d3d8b4164a27733952e28536commit | diff
better use of variables to install/uninstall stuff
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.