riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #10863 from aabadie/pr/gitignore_results

Browse Source 
.gitignore: exclude results directory
This commit is contained in:
Gaëtan Harter 2019-01-25 18:54:22 +01:00 committed by GitHub
commit 6075727667
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitignore vendored
View File

@ -58,3 +58,6 @@ Makefile.local
# scan-build artifacts
scan-build/
# compile_and_test_for_boards default "results" directory
results/