core
|
Merge branch master into dev
|
2021-05-20 13:51:35 +02:00 |
fonts
|
Add buttons to scroll tabs when there are too many
|
2021-05-16 15:50:27 +02:00 |
plugins
|
Merge branch master into dev
|
2021-05-20 13:51:35 +02:00 |
user
|
Fix font size in initial user's config
|
2021-03-01 09:48:12 +01:00 |