GitHub repository: sanderr/verifast.vim
Primary language: Vim script
Created: 2018-10-16T20:16:30Z
Description: This is a mirror of https://gitlab.com/theSander/verifast.vim. On November 1st, the GitHub repo will be deleted, but the GitLab one will continue to exist.