diff --git a/tests/idris2/pkg017/.gitignore b/tests/idris2/pkg017/.gitignore new file mode 100644 index 000000000..062cbdb0b --- /dev/null +++ b/tests/idris2/pkg017/.gitignore @@ -0,0 +1,2 @@ +/expected +