Skip to content
Snippets Groups Projects
Commit 2f0abe98 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[tests] Fix gitignore

parent 05bd91a9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
.gitignore
+ 2
− 2
View file @ 2f0abe98
...@@ -44,8 +44,8 @@ autom4te.cache ...@@ -44,8 +44,8 @@ autom4te.cache
/tests/**/result*/ /tests/**/result*/
/tests/**/oracle*/dune /tests/**/oracle*/dune
/src/plugin/*/tests/**/result*/ /src/plugins/*/tests/**/result*/
/src/plugin/*/tests/**/oracle*/dune /src/plugins/*/tests/**/oracle*/dune
/tests/crowbar/*constfold /tests/crowbar/*constfold
/tests/crowbar/integer_bb_pretty /tests/crowbar/integer_bb_pretty
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment