|
|
0bc5d22ca6
|
codium: Remove useless keybinding
|
2023-02-17 16:51:34 +01:00 |
|
|
|
5163ff5981
|
codium: Update configuration
|
2023-02-17 16:51:34 +01:00 |
|
|
|
b6b4f4f753
|
codium: Add lower case keybinding
|
2023-02-17 16:51:34 +01:00 |
|
|
|
ec2a91a017
|
codium: Misc configuration
|
2023-02-17 16:51:34 +01:00 |
|
|
|
e6e3110a58
|
codium: Change editor font
|
2023-02-17 16:51:34 +01:00 |
|
|
|
ad4f0fb2b9
|
codium: Migration from Nextcloud
|
2023-02-17 16:51:34 +01:00 |
|
