vramik 24171d2e47 Rename providers from jpa-map-storage to jpa ... Closes #12098		2022-05-23 16:47:51 +02:00
..
src/main	Rename providers from jpa-map-storage to jpa	2022-05-23 16:47:51 +02:00
pom.xml	Disable caching for map storage.	2022-04-29 12:03:18 +02:00