From 046606ce1f33c0a2b2955df6ca7dc8b56985d4f0 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Thu, 20 Feb 2020 09:25:08 +0100
Subject: Make cleopatra extensible

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index c7d1179..f573e80 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,7 @@ site/style/main.css
 site/posts.html
 site/news/ColorlessThemes-0.2.html
 site/posts/meta/Contents.html
+site/posts/meta/Bootstrap.html
 site/posts/meta/Soupault.html
 site/posts/Thanks.html
 site/posts/meta.html
@@ -26,7 +27,9 @@ site/posts/MiniHTTPServer.html
 site/posts/StronglySpecifiedFunctions.html
 site/posts/RewritingInCoq.html
 site/posts/Ltac101.html
+bootstrap.mk
 org.mk
 coq.mk
+scripts/tangle-org.el
 scripts/export-org.el
 # begin generated files
-- 
cgit v1.2.3