Hans-Christoph Steiner 2828bf1f9f -Pstrict.release build flag to disable dev tools ... Keep the release build as small as possible, so it is faster. This also makes it less important to track all the dev tool projects for security issues, since they are disabled on release builds.		2022-12-20 20:59:59 +01:00
..
checkstyle	-Pstrict.release build flag to disable dev tools	2022-12-20 20:59:59 +01:00
nightly-repo	gitlab-ci: add nightly repo to deploy builds as default enabled	2018-01-04 23:01:00 +01:00
pmd	-Pstrict.release build flag to disable dev tools	2022-12-20 20:59:59 +01:00
errorprone.gradle	Upgrade to Gradle 7 and Java 11	2022-05-18 12:52:55 +02:00