From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 31 Jul 2005 19:39:29 +0000 (+0000)
Subject: packaging cleanup: get rid of ancient debhelpers, use dh_install
X-Git-Tag: V_0_7_2~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e6b28085c97ae7b9bd3f3262b105f6b84f42b047;hp=e6b28085c97ae7b9bd3f3262b105f6b84f42b047;p=helm.git

packaging cleanup: get rid of ancient debhelpers, use dh_install
---