Carlos Ruiz 9eda617e8d Rename and configure .gitignore / fix problem with server.product.launch		2019-12-06 19:08:14 +01:00
..
.settings	…
.gitignore	Rename and configure .gitignore / fix problem with server.product.launch	2019-12-06 19:08:14 +01:00
.project	…
build.properties	…
feature.xml	release 7.1 process - set version in configuration files	2019-11-21 23:28:48 +01:00
pom.xml	release 7.1 process - set version in configuration files	2019-11-21 23:28:48 +01:00