pietervdvn dd63ed7ab0 Add detection for svgs which actually contain pngs, convert png into proper svg		2022-02-06 03:02:45 +01:00
..
drinking_water.json	Fix translations	2022-01-11 11:42:53 +01:00
drips.svg	Add detection for svgs which actually contain pngs, convert png into proper svg	2022-02-06 03:02:45 +01:00
license_info.json	Fix the order of the licenses	2021-09-08 01:53:37 +02:00