File changed.
Contains only whitespace changes.
Loading
* made batch resolve optional with CLI parameter (off by default) * added skipXtexGeneration property to POM when no grammar changes are performed
File changed.
Contains only whitespace changes.