]> matita.cs.unibo.it Git - helm.git/commit
fixed make opt
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Oct 2007 11:57:51 +0000 (11:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Oct 2007 11:57:51 +0000 (11:57 +0000)
commit2bafaeaa30180c0e7f111793c30943f6b28dd6fd
treee572e607245cd582a59e20aa544e851d63c2b887
parent130dc73bc5d47891f184a34d664222bde0ec8164
fixed make opt
helm/software/components/Makefile