Mon thème personnel pour Neovim, écrit en lua
Go to file
David JULIEN 8139cd14f0 cleanup: remove COQ highlights 2023-01-09 18:00:16 +01:00
lua/astronomy cleanup: remove COQ highlights 2023-01-09 18:00:16 +01:00
LICENSE legal: add LICENCE 2021-10-22 20:52:42 +02:00