Mentions légales du service

Skip to content
  • 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