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

Add tools/ to the list of ignored directories 

Mirros the setting for mbed/workspace_tools.
Bogdan Marinescu 2016-05-29 17:32:05 +03:00
parent 7c920259cc
commit 83b5b474a0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.mbedignore
View File

@ -2,3 +2,4 @@ mbed/docs/*
mbed/libraries/*
mbed/travis/*
mbed/workspace_tools/*
tools/*