Erwin Boskma 13c1ee999f Default editor is now handled by the emacs module		2023-07-05 10:09:51 +02:00
..
builder	Add pre-commit hooks and fix style issues	2022-11-19 20:00:54 +01:00
erwin	Default editor is now handled by the emacs module	2023-07-05 10:09:51 +02:00
root	Fixes	2022-11-11 12:51:48 +01:00