pietervdvn 73984ad462 Convert SVGs with embedded png into proper SVG		2022-02-07 01:55:47 +01:00
..
drinking_water.json	Fix translations	2022-01-11 11:42:53 +01:00
drips.svg	Convert SVGs with embedded png into proper SVG	2022-02-07 01:55:47 +01:00
license_info.json	Fix the order of the licenses	2021-09-08 01:53:37 +02:00