lukaseder 0a1be969c9 [#6881] maven-deploy.bat's help options do not work (cannot be discovered easily)		2017-12-07 15:49:33 +01:00
..
release	[#6881] maven-deploy.bat's help options do not work (cannot be discovered easily)	2017-12-07 15:49:33 +01:00
authors.txt	Converted all \r\n to \n	2013-10-10 10:13:22 +02:00
build.xml	Release 3.11.0-SNAPSHOT	2017-09-29 15:49:30 +02:00
RELEASE-NOTES.txt.regex	Blank out rather than mask [pro] code to avoid confusion with users	2015-12-31 10:02:02 +01:00