• Andrei Paskevich's avatar
    vim-pathogen compliance · 7908605b
    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.
    7908605b
why3.vim 52 Bytes