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 #1780 from jeromecoutant/dev_gitignore 

Update .gitignore for build directory
pull/1783/merge
Martin Kojtal 2016-05-26 15:04:33 +01:00
parent a59785888d efe8457036
commit 0203b96b5f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -10,7 +10,7 @@ MANIFEST
private_settings.py
# Default Build Directory
build/
.build/
venv/
# Eclipse Project Files