Pieter Vander Vennet 29ff09024f Merge develop		2023-10-30 16:32:43 +01:00
..
drinking_water.json	Merge develop	2023-10-30 16:32:43 +01:00
drips.svg	Convert SVGs with embedded png into proper SVG	2022-02-07 01:55:47 +01:00
drips.svg.license	More steps toward REUSE-compliance	2023-07-27 03:32:49 +02:00
license_info.json	Unify some license expressions	2023-07-27 02:51:59 +02:00