]> 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)
commit1589ec067f5f18594dfcab61431adbe095db1bd1
tree46e02ad8cf8f89b415b3848b812646cacc9ac547
parent0e2c8316d4e2b15a0d73535d94250617eba111b0
fix for distro
helm/software/components/tactics/Makefile