Claudio Atzori 1ee1baa8c0 Merge branch 'master' into provision_indexing		2020-02-13 18:17:07 +01:00
..
src	implemented XML records construction and serialization, indexing WIP	2020-02-13 16:53:27 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2020-02-13 18:11:33 +01:00