]> matita.cs.unibo.it Git - helm.git/commit
ignoring test_library{,.opt}
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Mar 2006 20:45:13 +0000 (20:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 24 Mar 2006 20:45:13 +0000 (20:45 +0000)
commitca0770b6e3221f6dd997e0e1c3b2dbcffa344fc5
tree4072d248f9de1a45dc4a4388551cb3c4e4b83c9a
parent03606e89c1e299bf9d3f824cd68d4828e4a80b73
ignoring test_library{,.opt}