Stephane Nicoll b2c3e7e2ed Rename error.* properties to server.error.* ... Closes gh-4050		2015-10-02 14:03:24 +02:00
..
src	Rename error.* properties to server.error.*	2015-10-02 14:03:24 +02:00
build.gradle	Revert "Upgrade Gradle plugin’s ID so it’s suitable for the Plugin Portal"	2015-04-21 12:37:12 +01:00
pom.xml	Fix launch.script to not exit prematurely	2015-08-26 17:54:20 +01:00