drinking_water.json
|
Housekeeping
|
2023-11-23 15:47:16 +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 |