checkbox
|
Add cinnamon DE support
|
2020-09-23 12:14:40 -05:00 |
menu
|
Cinnamon: Update desktop theme colors
|
2020-09-23 12:47:58 -05:00 |
misc
|
Add cinnamon DE support
|
2020-09-23 12:14:40 -05:00 |
switch
|
Cinnamon: Update desktop theme colors
|
2020-09-23 12:47:58 -05:00 |