diff options
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 |