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 #9715 from bridadan/inc_as_header_file 

Add .inc as a header file type.
pull/9728/head
Cruz Monrreal 2019-02-14 20:26:38 -06:00 committed by GitHub
parent 5701c94384 7e1dff5aec
commit 9e6c7234e2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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/resources/__init__.py
View File

@ -467,6 +467,7 @@ class Resources(object):
".h": FileType.HEADER,
".hh": FileType.HEADER,
".hpp": FileType.HEADER,
".inc": FileType.HEADER,
".o": FileType.OBJECT,
".hex": FileType.HEX,
".bin": FileType.BIN,