• Andrei Paskevich's avatar
    vim-pathogen compliance · 36add616
    Andrei Paskevich authored
    To install the Why3-related Vim files, just create a symbolic link:
      ln -s "$(why3 --print-datadir)/vim" ~/.vim/bundle/why3
    
    Thanks to Johanness Kanig for the suggestion.
    36add616
Name
Last commit
Last update
..
why3.vim Loading commit data...