]> matita.cs.unibo.it Git - helm.git/commit
bugfix in Include syntax: it was changed and committed by mistake :(
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Jun 2009 22:23:42 +0000 (22:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 5 Jun 2009 22:23:42 +0000 (22:23 +0000)
commita3ee89dab26307ce1cedc8041ede995a97d51446
tree01738d9ae57ea8e6a6bf9a8077b8bb13e8f8ba7d
parent8ae1653eb75d2b57c50e077c49cb9d078313ea9d
bugfix in Include syntax: it was changed and committed by mistake :(
helm/software/components/grafite_parser/dependenciesParser.ml