vramik 24171d2e47 Rename providers from jpa-map-storage to jpa ... Closes #12098		2022-05-23 16:47:51 +02:00
..
src	Rename providers from jpa-map-storage to jpa	2022-05-23 16:47:51 +02:00
pom.xml	Rename providers from jpa-map-storage to jpa	2022-05-23 16:47:51 +02:00