diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-04-04 02:34:38 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-04-04 02:34:38 +0200 |
commit | a38a43028d05096369aa7bcec827bb6c08e3af8e (patch) | |
tree | 327dfad2b1d463ff13597b5b6bdaef5d15f4ea09 /.gitignore | |
parent | Small tweaking post-publication (diff) |
Benefit from cleopatra org-related functions to export org files
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -4,7 +4,6 @@ coq.mk site/style/coq.sass .emacs -emacs.d/ scripts/export-org.el scripts/packages.el org.mk @@ -50,7 +49,6 @@ site/posts/DiscoveringCommonLisp.html site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html site/posts/CleopatraV1.html -*.html~ build/ site/style/main.css site/style/main.sass |