diff options
author | w0rp <devw0rp@gmail.com> | 2017-09-10 13:19:08 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-09-10 13:19:08 +0100 |
commit | c4ad92e458f51ce849baed3b628fbd2f43303ace (patch) | |
tree | bb199b6cf77dddf906f4ef64fadabe86229ce37a /.gitattributes | |
parent | 18a7d32c4cc77d0eaa9ff860f86a307d0baafa09 (diff) | |
download | ale-c4ad92e458f51ce849baed3b628fbd2f43303ace.zip |
Move scripts for tests into the test directory, and do not export the Batch script for running tests
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitattributes b/.gitattributes index 27cbcff5..05b1f3f0 100644 --- a/.gitattributes +++ b/.gitattributes @@ -6,8 +6,7 @@ /Makefile export-ignore /PULL_REQUEST_TEMPLATE.md export-ignore /README.md export-ignore -/check-supported-tools-tables export-ignore -/custom-checks export-ignore /img export-ignore /run-tests export-ignore +/run-tests.bat export-ignore /test export-ignore |