dotfiles/.config/nvim/ftdetect/why3.vim

1 line
52 B
VimL

au BufRead,BufNewFile *.why,*.mlw set filetype=why3