|
|
ea498b169d
|
More packages, slight tweaks elsewhere
|
2025-03-11 08:56:23 +01:00 |
|
|
|
068f63d507
|
Set the editor theme, plus... a bunch of miscellaneous changes
|
2025-02-18 21:20:24 +01:00 |
|
|
|
6727eafc99
|
Configure the interface and editing behaviour a bit
|
2025-02-09 13:55:16 +01:00 |
|
