From f6bec1183c2ecaf58fc4e0ea291b55000692e23c Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sat, 22 Feb 2020 16:27:39 +0100
Subject: Integrate `update-gitignore.sh' inside cleopatra

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 622752c..33e93a9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,6 +31,7 @@ site/posts/ExtensibleTypeSafeErrorHandling.html
 site/posts/MonadTransformers.html
 site/style/main.css
 bootstrap.mk
+scripts/update-gitignore.sh
 coq.mk
 org.mk
 scripts/export-org.el
-- 
cgit v1.2.3