]> matita.cs.unibo.it Git - helm.git/commit
fix for distro
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Apr 2006 14:47:33 +0000 (14:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Apr 2006 14:47:33 +0000 (14:47 +0000)
commitf6edef464aae7bbf001f77dcaf256f67960d0e47
treed64ade94b39f4b8096f817f4abbd33a7e2273bb2
parentf2efd4d7dc9907a569a352bdc5fb8409d9f18360
fix for distro
components/tactics/Makefile