|
etymology.json
|
Bigger textbox for name:etymology
|
2024-07-16 12:51:54 +02:00 |
|
license_info.json
|
Unify some license expressions
|
2023-07-27 02:51:59 +02:00 |
|
logo.svg
|
Various theme, icon and language fixes
|
2022-02-08 18:29:21 +01:00 |
|
logo.svg.license
|
More steps toward REUSE-compliance
|
2023-07-27 03:32:49 +02:00 |
