diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-22 16:29:19 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-22 16:29:19 +0100 |
commit | f074109261666d59363d26169d7f62d17b15f00f (patch) | |
tree | 0a41c8aef8adb19f1ed03888a54133769e78f4cf /.gitignore | |
parent | Integrate `update-gitignore.sh' inside cleopatra (diff) |
Remove useless dependencies in the `build' rule of cleopatra
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -30,6 +30,7 @@ site/posts/DiscoveringCommonLisp.html site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html site/style/main.css +soupault.conf bootstrap.mk scripts/update-gitignore.sh coq.mk |