kharhamel a66d42e158 FEATURE: we now allow a global zoom level of 1.5		2021-05-17 16:11:38 +02:00
..
HdpiManager.ts	FEATURE: we now allow a global zoom level of 1.5	2021-05-17 16:11:38 +02:00
WaScaleManager.ts	Fixing CI	2021-05-05 13:14:00 +02:00