diff --git a/tests/File discovery/Really ignore other files. b/tests/File discovery/Really ignore other files. (1) similarity index 100% rename from tests/File discovery/Really ignore other files. rename to tests/File discovery/Really ignore other files. (1) diff --git a/tests/File discovery/Really ignore other files. (2) b/tests/File discovery/Really ignore other files. (2) new file mode 100755 index 0000000..2845ee2 --- /dev/null +++ b/tests/File discovery/Really ignore other files. (2) @@ -0,0 +1 @@ +! $TEST_SHELL ../../urchin ../Flags/Urchin\ format|grep -- --color