Jörg Prante 329661f6b9 update to jflex plugin 1.2.1, update to gradle 5.6		2019-09-15 13:51:33 +02:00
..
config/checkstyle	bump dependency versions, clean subproject structure	2018-02-08 11:18:45 +01:00
src	update to OpenJDK 11, Gradle 5.3.1	2019-08-12 11:06:26 +02:00
build.gradle	update to jflex plugin 1.2.1, update to gradle 5.6	2019-09-15 13:51:33 +02:00