Merge mit antlr-branch. Löschen aller ino.Kommentare

This commit is contained in:
JanUlrich 2017-01-20 15:20:45 +01:00
commit acf9cbd20b