From e85befdc955ddcfef2a84b976db4564051368fff Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 29 Mar 2020 16:41:56 +0100
Subject: Update .gitignore

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 1861b29..667f3b6 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,3 @@
 # CoqUp
+
 A formally verified HLS tool in Coq.
-- 
cgit