summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-09-22 14:39:09 -0700
committerOri Bernstein <ori@eigenstate.org>2015-09-22 14:39:09 -0700
commit19d7fac9e6210af527ee1e72de4878d3951c41f6 (patch)
tree763948cf5c19a179153a10435ed40d9c1bd34f3b /.gitignore
parent16aa8c14d53c4d2e55651d64de26c68f23f21824 (diff)
downloadmc-19d7fac9e6210af527ee1e72de4878d3951c41f6.tar.gz
Start moving benchmark runner code to Myrddin.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index 1ba6637..3451ef4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,8 +27,5 @@ parse/gram.h
6/6m
muse/muse
myrbuild/myrbuild
-bench/*
-!bench/Makefile
-!bench/*.myr
*~
tags