|
license_info.json
|
Unify some license expressions
|
2023-07-27 02:51:59 +02:00 |
|
logo.svg
|
Furhter cleanup of fake svgs
|
2022-02-08 02:24:37 +01:00 |
|
logo.svg.license
|
More steps toward REUSE-compliance
|
2023-07-27 03:32:49 +02:00 |
|
trees.json
|
Chore: Lint themes
|
2024-04-28 11:00:23 +02:00 |
