ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #2906 from ARMmbed/ignore_new_build_dir 

Ignore BUILD directory
pull/2918/head
Bogdan Marinescu 2016-10-04 17:05:49 +03:00 committed by GitHub
parent 3ad80ebdbb e861db967c
commit 4f3a07e953
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -11,6 +11,7 @@ mbed_settings.py
# Default Build Directory
.build/
BUILD/
.mbed
venv/