]> matita.cs.unibo.it Git - helm.git/commit
fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 09:56:38 +0000 (09:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 09:56:38 +0000 (09:56 +0000)
commitc0be9c28b15427d971388e829492bc412b3c024e
treefda3edb62ad76366a7ed95ebcb3712a540e7b86e
parentf35d1a64255215087e0b15938eaa085152f1d787
fix
helm/software/pkg-matita/trunk/debian/rules