jvoorhis/coq.vim — pull request #1 by Ceasar (2013-01-16 14:33:07+00:00)
Title: Fix installation instructions

`.vim`, not `.git`