diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-23 14:33:47 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-23 14:33:47 +0100 |
commit | aa6de8b45eef617afefbb4cb7abdef392bdfbbbd (patch) | |
tree | b14226d788729bad7258436b0ad7a961e0625c67 /.gitignore | |
parent | Give up on clean URLs (diff) |
Polish cleopatra
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -16,30 +16,32 @@ site/posts/MiniHTTPServer.html site/posts/StronglySpecifiedFunctions.html site/posts/RewritingInCoq.html site/posts/Ltac101.html -site/posts.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/posts/Thanks.html -site/posts/meta.html +site/posts/index.html site/posts/DiscoveringCommonLisp.html site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html -site/style/main.css soupault.conf +site/style/main.css +templates/main.html bootstrap.mk scripts/update-gitignore.sh coq.mk org.mk scripts/export-org.el emacs.d +soupault.conf theme.mk +templates/main.html site/style/main.sass -soupault.conf site/style/coq.sass site/style/coq.sass site/style/org.sass |