diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-23 15:02:58 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-23 15:02:58 +0100 |
| commit | 404d05208192f83523049dabe03126ad064c3395 (patch) | |
| tree | 9828cadc8c9a3224d578ea35de63343336e85474 /.gitignore | |
| parent | Fix several typos in the posts index (diff) | |
Reworking cleopatra presentation
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 |