Jörg Prante 73952fe328 fix gradle plugin publishing		2022-06-01 10:13:13 +02:00
..
src	remove extension from rpm plugin	2021-11-10 17:45:57 +01:00
build.gradle	fix gradle plugin publishing	2022-06-01 10:13:13 +02:00
gradle.properties	fix gradle plugin publishing	2022-06-01 10:13:13 +02:00
LICENSE.txt	add shadow, jflex, jacc plugins, update to gradle 7.4	2022-02-19 23:05:50 +01:00