tree 49d0e2b4736a99ef2f91c2b10aa028f5231593c3
parent 67726faa4dcbc9b2d7e4b7d7b70b7ff653e64877
author Joachim Bingel <joa.bingel@gmail.com> 1391790047 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1391790047 +0000

towards getting cosmas sources compiled by antlr plugin...