diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-22 16:27:39 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-22 16:28:39 +0100 |
| commit | f6bec1183c2ecaf58fc4e0ea291b55000692e23c (patch) | |
| tree | 88b3ae64703a42359e607a3f331a9e9de1da1e69 /.gitignore | |
| parent | Use `tangle-org.el' during bootstrap (diff) | |
Integrate `update-gitignore.sh' inside cleopatra
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -31,6 +31,7 @@ site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html site/style/main.css bootstrap.mk +scripts/update-gitignore.sh coq.mk org.mk scripts/export-org.el |