The Wayback Machine - https://web.archive.org/web/20220814224148/https://github.com/ms-jpq/coq_nvim/blob/coq/_config.yml
Skip to content
Permalink
coq
Switch branches/tags

coq_nvim/_config.yml

Go to file
 
 
Cannot retrieve contributors at this time
7 lines (5 sloc) 140 Bytes
Raw Blame
Open in GitHub Desktop
---
title: "coq.nvim 🐔"
showcase: True
images:
- https://raw.githubusercontent.com/ms-jpq/coq.artifacts/artifacts/preview/pretty.gif