xenia 56a7f015e3 Goodbye Agda		2024-12-21 01:05:37 +01:00
..
init.el	Goodbye Agda	2024-12-21 01:05:37 +01:00
kakrc	Update kakoune and lsp	2024-06-12 22:09:20 +02:00
zshrc	Clean up a bunch of unused stuff in zshrc	2024-07-26 12:00:20 +02:00