nova f3bb1c2cee latex update		2024-02-13 19:31:31 +01:00
..
bindings.lua	latex update	2024-02-13 19:31:31 +01:00
coq.lua	lsp related changes	2024-01-30 20:54:44 +01:00
winsep.lua	switch to luasnip, added better snipplets	2023-09-25 23:44:59 +02:00