Erwin Boskma 1177fd251d The default editor is now set elsewhere		2023-07-04 20:31:05 +02:00
..
builder	Add pre-commit hooks and fix style issues	2022-11-19 20:00:54 +01:00
erwin	The default editor is now set elsewhere	2023-07-04 20:31:05 +02:00
root	Fixes	2022-11-11 12:51:48 +01:00