Jimmy Brisson 8eb98d7071 Resources: Use path names for ignored dirs ... ### Description Ignored directories are collected for the sake of exporters that use a blacklist-style approach similar to these build tools. This ignore list will include `/filer/<gibberish>` when exported from the online Compiler. This patch fixes that behavoir. ### Pull request type [x] Fix [ ] Refactor [ ] Target update [ ] Functionality change [ ] Docs update [ ] Test update [ ] Breaking change		2018-11-16 14:49:17 +00:00
..
__init__.py	Resources: Use path names for ignored dirs	2018-11-16 14:49:17 +00:00
ignore.py	Refactor mbedignore behaivor into an object	2018-08-27 11:16:07 -05:00