From 39fd0f01f46d38b2de7061ac14328058a6a74c2d Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sun, 23 Feb 2020 16:45:28 +0100 Subject: Do not remove cleopatra files with 'make clean' --- .gitignore | 4 ---- 1 file changed, 4 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index a56aa0d..9dd7ce4 100644 --- a/.gitignore +++ b/.gitignore @@ -29,16 +29,13 @@ site/posts/index.html site/posts/DiscoveringCommonLisp.html site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html -soupault.conf site/style/main.css -templates/main.html bootstrap.mk scripts/update-gitignore.sh coq.mk org.mk scripts/packages.el scripts/export-org.el -emacs.d .emacs emacs.d soupault.conf @@ -48,7 +45,6 @@ scripts/katex.js scripts/history.sh theme.mk templates/main.html -site/style/main.sass site/style/coq.sass site/style/coq.sass site/style/org.sass -- cgit v1.2.3