]> matita.cs.unibo.it Git - helm.git/commit
tentative fix
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 16:06:10 +0000 (16:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Jun 2007 16:06:10 +0000 (16:06 +0000)
commit2d79bad1521e55c3756532bf992ddb30f767beed
treeb01e7915030d1f500615a3a2faaee011c2a9620a
parent7c1364138afcea82e7928dbb88054d6e33478687
tentative fix
helm/software/matita/Makefile