]> matita.cs.unibo.it Git - helm.git/commit
ported to the new svn architecture
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:45:12 +0000 (15:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:45:12 +0000 (15:45 +0000)
commitc1850635a5915a9e45e469e5cb433f3cd20e454a
treef7bf6d73f0db98f55cbb5a357e840c38782303d1
parent61ba0c2fdf684d7b0bcc7b75b3552a0023f5d875
ported to the new svn architecture
helm/software/Makefile