|
|
ec177bc4a4
|
codium: Update configuration
|
2022-03-08 08:27:31 +01:00 |
|
|
|
a5dcc8efcc
|
codium: Add lower case keybinding
|
2022-03-08 08:27:30 +01:00 |
|
|
|
f32006f445
|
codium: Misc configuration
|
2022-03-08 08:27:30 +01:00 |
|
|
|
ddd042d6c0
|
codium: Change editor font
|
2022-03-08 08:27:30 +01:00 |
|
|
|
a840dded74
|
codium: Migration from Nextcloud
|
2022-03-08 08:27:29 +01:00 |
|
