diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-20 09:25:08 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-20 09:29:54 +0100 |
| commit | 046606ce1f33c0a2b2955df6ca7dc8b56985d4f0 (patch) | |
| tree | 5fc76f5dcf71c3e158aa1d5398c092df16674aaa /.gitignore | |
| parent | Always use variables for colors in main.sass (diff) | |
Make cleopatra extensible
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -15,6 +15,7 @@ site/style/main.css site/posts.html site/news/ColorlessThemes-0.2.html site/posts/meta/Contents.html +site/posts/meta/Bootstrap.html site/posts/meta/Soupault.html site/posts/Thanks.html site/posts/meta.html @@ -26,7 +27,9 @@ site/posts/MiniHTTPServer.html site/posts/StronglySpecifiedFunctions.html site/posts/RewritingInCoq.html site/posts/Ltac101.html +bootstrap.mk org.mk coq.mk +scripts/tangle-org.el scripts/export-org.el # begin generated files |