Andreas Dangel f4941433ce

Merge branch 'main' into rename-defaultlabelswitch

2024-10-18 16:39:12 +02:00

..

etc/grammar

Fix NPE with empty pattern list

2024-10-07 16:51:50 +02:00

src

Merge branch 'main' into rename-defaultlabelswitch

2024-10-18 16:39:12 +02:00

.gitignore

…

pmd-java-checkstyle-suppressions.xml

…

pom.xml

Use plugin-classpath to simplify javacc-wrapper.xml

2024-10-13 12:28:16 +02:00