diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-07-26 19:10:41 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-07-26 22:43:21 +0200 |
| commit | a254d35de9ce4b50a992b8ff54006e4b8220e6a0 (patch) | |
| tree | 35debe08b02d4e62c987ea97cf079bbaa225c643 /.gitignore | |
| parent | Remove half-deleted sentence (diff) | |
Initial publication
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -38,6 +38,7 @@ site/posts/ClightIntroduction.html site/posts/StronglySpecifiedFunctions.html site/posts/RewritingInCoq.html site/posts/Ltac101.html +site/posts/MixingLtacAndGallina.html site/index.html site/news/ColorlessThemes-0.2.html site/cleopatra/soupault.html |