]> matita.cs.unibo.it Git - helm.git/commit
ignore .log
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:02:36 +0000 (17:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 17:02:36 +0000 (17:02 +0000)
commit8b4337c1d962a6960df64d331a1826cad0b662c7
tree5e9e992395f194e677c43eb9d4067a24d2a00ee8
parent1cd9c3cb8ff983b046ff0ce96ab77d26d59b394c
ignore .log