diff options
author | Damien George <damien.p.george@gmail.com> | 2014-04-10 22:52:10 +0100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-04-10 22:52:10 +0100 |
commit | 2b9419b5bfda98d2cd291a81c1fa79a2f94e1089 (patch) | |
tree | e8e3f04747d5cfcd82b60fe55e7d41311f3c5eaf | |
parent | 037b3e0e21f1fdd736487157e9b8f6a5cd5923d8 (diff) | |
parent | 4391c8f38e93a0c6c0fc3c8e1443f196e331bdde (diff) |
Merge pull request #460 from lurch/patch-2
Update .gitignore
-rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 6224e57cd..4e8d12e51 100644 --- a/.gitignore +++ b/.gitignore @@ -22,3 +22,8 @@ # Build directory ###################### build/ + +# Test failure outputs +###################### +tests/*.exp +tests/*.out |