Antonin Delpeuch b90e413b40 Set version to 3.1		2018-11-29 10:32:56 +09:00
..
IDEs	Cleanup most Eclipse config files	2018-09-18 14:51:27 +01:00
lib-local	Exclude local libraries from packages to save space	2018-09-21 10:02:45 +01:00
lib-local-src	Exclude local libraries from packages to save space	2018-09-21 10:02:45 +01:00
src	Display git commit id instead of TRUNK. Closes #1305.	2018-11-22 19:46:30 +00:00
pom.xml	Set version to 3.1	2018-11-29 10:32:56 +09:00