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

Export folder needs to not ignore .mbed files. 

Fixing a bug.  .mbed is ignored in the high level .gitignore file.  But .mbed is actually a needed file inside of tools/export.  Even though the file is still in the main repo, since it's ignored now, you can easily lose it or remove it without seeing the change.  Adding this .gitignore file here will add .mbed back into the tracked files for only this directory
pull/6896/head
Alex-EEE 2018-05-14 12:21:07 -05:00
parent 9fd04c4a37
commit c0103c328b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/export/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
!.mbed