|
drinking_water.json
|
Small theme tweaks
|
2023-11-14 16:24:49 +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 |
