misc
|
Use "…" instead of "..." in certain places
|
2022-07-26 23:57:02 +02:00 |
resources
|
Remove icons which are no longer needed
|
2021-10-16 21:28:59 +02:00 |
translations
|
Update translations
|
2022-07-26 23:59:42 +02:00 |
webview
|
Use "…" instead of "..." in certain places
|
2022-07-26 23:57:02 +02:00 |
global.h
|
Adapt to changes in c++utilities
|
2019-06-14 19:15:26 +02:00 |