summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTom Smeding <tom.smeding@gmail.com>2018-04-15 21:30:07 +0200
committerTom Smeding <tom.smeding@gmail.com>2018-04-15 21:30:07 +0200
commitfb317a3cafd7db4b3c60768eee8549dea9b54ce1 (patch)
treef4057e6003aac8eec916ca9bafd399c1bb556d65 /.gitignore
parent7f53337609dda8f22497fe35850b68a554434008 (diff)
Add bfinter_simple, which is slow but "obviously correct"HEADmaster
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 4b8ea84..4af4306 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,7 @@
bfinter
bfinter2
+bfinter_simple
*.o
*.dSYM
*.bf
+compile_commands.json