]> 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)
commitf86227b3fd0b0f67fbb6ece01970dad2f797a9b5
tree797f4d4beb3787ca5ed53f52fc8e068d23d6f095
parenteca6985fb1ddae45b0600b5e44fd5c8f404d2842
ignoring test_library{,.opt}