summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorHanoh Haim <hhaim@cisco.com>2015-11-19 12:46:48 +0200
committerHanoh Haim <hhaim@cisco.com>2015-11-19 12:46:48 +0200
commit9c69a86ed94732196c2b62209f61da783cda1386 (patch)
tree72fde191cccb05010a73bc2950dae0d426649685 /.gitignore
parentfcae2e33ce2a6bd9d53e8d7779f278695b77a289 (diff)
another small test
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 183484fb..fcc5135f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ scripts/exp/stl_single_stream-0.erf
scripts/exp/stl_simple_prog1-0.erf
scripts/exp/stl_simple_prog2-0.erf
scripts/exp/stl_simple_prog3-0.erf
+scripts/exp/stl_simple_prog4-0.erf