]> 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)
commit0bc1d5f7eb6c9ba8603c59a4d671d4b186e48508
tree318b39cc81b381432e3868c772380918669052eb
parente9f71f9574114a42d5f68c1339290feba92cef1a
fixed make opt
components/Makefile