]> matita.cs.unibo.it Git - helm.git/commit
- dependenciesParser: updated to new inline syntax
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 May 2009 19:20:32 +0000 (19:20 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 May 2009 19:20:32 +0000 (19:20 +0000)
commit8f1fe8dfd782189cb87bbccc0fbacd92a87055de
tree3e169edaa4ee380c58552c961ff381174b289cca
parent89f42c758bfa3e15324d289774792971f282e684
- dependenciesParser: updated to new inline syntax
helm/software/components/grafite_parser/dependenciesParser.ml