Skip to content

Fix antlr4-tools: use GitHub API for version, improve error handling …

07b5f2f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

[build] Fix for #4647: get Antlr4 Tool .jar from github. #4821

Fix antlr4-tools: use GitHub API for version, improve error handling …
07b5f2f
Select commit
Loading
Failed to load commit list.