Pieter Vander Vennet 62c4f0a928 Merge branch 'master' into develop		2020-10-25 20:50:36 +01:00
..
FeatureInfoBox.ts	Optimize rendering	2020-10-14 12:15:09 +02:00
SaveButton.ts	Optimize rendering	2020-10-14 12:15:09 +02:00
TagRendering.ts	Merge branch 'master' into develop	2020-10-25 20:50:36 +01:00