aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Hendrik Tews <hendrik@askra.de>2016-10-26 09:53:38 +0200
committerGravatar Hendrik Tews <hendrik@askra.de>2016-10-27 09:25:47 +0200
commit24858fa6989ae8b41e0c31fca5499cceeb4f21e8 (patch)
tree395ade4005280b91f4262ed681767940ac360c5b /.gitignore
parent25355560b4aa25b17b754c33c9ba2a18d7498df4 (diff)
fix parallel compilation and improve assertions and debugging code
- fixes #92
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 76ce80f6..9cd6d703 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@ nohup.out
TAGS
ChangeLog
*.elc
+*~