Josh Chase 7d478b18ae Only run the maven plugin when needed.		2016-01-13 16:32:59 -08:00
..
main/java/org/antlr/mojo/antlr4	Only run the maven plugin when needed.	2016-01-13 16:32:59 -08:00
site	Fix documentation links to the antlr4 goal	2013-03-27 15:07:18 -05:00