Clone of official tools

Revision:
36:96847d42f010
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/export/gnuarmeclipse/mbedignore.tmpl	Thu Jun 22 11:12:28 2017 -0500
@@ -0,0 +1,3 @@
+{%- for config in options.values() -%}
+{{config.name}}/*
+{% endfor -%}