added img

ms-jpq · Dec 15, 2021 · 1b2122f · 1b2122f
1 parent 1e4fb0e
commit 1b2122f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# coq.nvim 🐔
+# [coq.nvim 🐔](https://ms-jpq.github.io/coq_nvim)
 
 Named after the [famous theorem prover](https://coq.inria.fr/)
 

diff --git a/_config.yml b/_config.yml
@@ -1,6 +1,7 @@
 ---
-title: coq.nvim 🐔
+title: "coq.nvim 🐔"
 
 showcase: True
 
-images: []
+images:
+  - https://raw.githubusercontent.com/ms-jpq/coq.artifacts/artifacts/preview/pretty.gif