Jörg Prante 553c397856 add rpm suid bits		2023-10-23 19:58:45 +02:00
..
src	add rpm suid bits	2023-10-23 19:58:45 +02:00
build.gradle	fix gradle plugin publishing	2023-05-24 22:42:39 +02:00
gradle.properties	roll back OpenJDK 21 because Gradle 8.4 does not allow OpenJDK 21 plugins	2023-10-23 17:28:07 +02:00
NOTICE.txt	add shadow, jflex, jacc plugins, update to gradle 7.4	2022-02-19 23:05:50 +01:00