Giters

antlr / antlr5

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Normalize target and folder capitalization

ericvergnaud opened this issue · comments

commented

Target is java but folder is runtime/Java
See #36 for consequences