• 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
Name
Last commit
Last update
..
ftdetect Loading commit data...
syntax Loading commit data...