]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84c5df4) | patch
Bug fix: changed "prefix" dir in install target.
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Nov 2001 14:05:08 +0000 (14:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 14 Nov 2001 14:05:08 +0000 (14:05 +0000)
commitc309375bd70c5fd5eadb50c41ad6420309a4f8ec
tree5a69585fa977b1dbdaefd363cb1e6a6ab646d3e8tree | snapshot
parent84c5df4b2c8d312054d4343fa706c7cfed5579e6commit | diff
Bug fix: changed "prefix" dir in install target.
Minor changes in debhelper usage.
helm/helmpot/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.