From 404d05208192f83523049dabe03126ad064c3395 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sun, 23 Feb 2020 15:02:58 +0100 Subject: Reworking cleopatra presentation --- .gitignore | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 55a021d..8a40b13 100644 --- a/.gitignore +++ b/.gitignore @@ -17,13 +17,13 @@ site/posts/StronglySpecifiedFunctions.html site/posts/RewritingInCoq.html site/posts/Ltac101.html site/news/ColorlessThemes-0.2.html -site/posts/meta/Contents.html -site/posts/meta/index.html -site/posts/meta/Bootstrap.html -site/posts/meta/Theme.html -site/posts/meta/Soupault.html -site/posts/meta/Contents/Org.html -site/posts/meta/Contents/Coq.html +site/cleopatra/Contents.html +site/cleopatra/index.html +site/cleopatra/Bootstrap.html +site/cleopatra/Theme.html +site/cleopatra/Soupault.html +site/cleopatra/Contents/Org.html +site/cleopatra/Contents/Coq.html site/posts/Thanks.html site/posts/index.html site/posts/DiscoveringCommonLisp.html -- cgit v1.2.3