afonsofrancof/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore(nvim): a bunch of things

Browse Source
This commit is contained in:
Afonso Franco
2024-03-17 12:32:47 +00:00
parent 9d8f5b9f53
commit b375840efb
13 changed files with 513 additions and 377 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.config/nvim/ftdetect/why3.vim Normal file
View File

@@ -0,0 +1 @@
au BufRead,BufNewFile *.why,*.mlw set filetype=why3