Michele Artini 38f2508c87 new fields in mdstore beans		2021-01-28 08:24:45 +01:00
..
MDStore.java	new fields in mdstore beans	2021-01-28 08:24:45 +01:00
MDStoreCurrentVersion.java	reformatted code according to the updated style descriptor	2020-04-28 11:23:29 +02:00
MDStoreVersion.java	new fields in mdstore beans	2021-01-28 08:24:45 +01:00
MDStoreWithInfo.java	new fields in mdstore beans	2021-01-28 08:24:45 +01:00