|
|
f024379c64
|
codium: Remove useless keybinding
|
2022-11-18 17:12:39 +01:00 |
|
|
|
8fa9a66ef3
|
codium: Update configuration
|
2022-11-18 17:12:39 +01:00 |
|
|
|
fdcc2bd369
|
codium: Add lower case keybinding
|
2022-11-18 17:12:39 +01:00 |
|
|
|
77ad52f31d
|
codium: Misc configuration
|
2022-11-18 17:12:39 +01:00 |
|
|
|
38ae30a5cd
|
codium: Change editor font
|
2022-11-18 17:12:39 +01:00 |
|
|
|
d96c2c4f99
|
codium: Migration from Nextcloud
|
2022-11-18 17:12:39 +01:00 |
|
