diff options
author | 2015-11-19 12:46:48 +0200 | |
---|---|---|
committer | 2015-11-19 12:46:48 +0200 | |
commit | 9c69a86ed94732196c2b62209f61da783cda1386 (patch) | |
tree | 72fde191cccb05010a73bc2950dae0d426649685 /.gitignore | |
parent | fcae2e33ce2a6bd9d53e8d7779f278695b77a289 (diff) |
another small test
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |