Bernd Flemisch 58182fe379 [properties] clean up		2020-05-18 15:53:58 +02:00
..
common	[properties] clean up	2020-05-18 15:53:58 +02:00
ecfv	bump required dune version to 2.6	2020-02-06 16:10:06 +01:00
vcfv	[properties] redistribute property tag definitions	2020-05-18 15:53:58 +02:00