]> matita.cs.unibo.it Git - helm.git/commit
the refactoring was not really complete
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Aug 2011 22:14:59 +0000 (22:14 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Aug 2011 22:14:59 +0000 (22:14 +0000)
commit0b8b1d3ab4182f3843d860df0feba96afa1d9165
treea97a78dabd24ebced1881d14c0ca131f961e20eb
parent2e1bf37296c12dd256cb346a31559aa9bdb8acd9
the refactoring was not really complete