Closed nverwer closed 4 years ago
This pull requests adds the following to the Java parser:
It also fixes a path in the windows build script.
Thank you Nico!
Strangely, I merged from the GitHub UI as usual but GitHub did not preserve authorship information. Perhaps this is because the PR was created before the repo was moved.
This pull requests adds the following to the Java parser:
It also fixes a path in the windows build script.