diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -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 |