essai

Revision:
1:f2d4c846046a
diff -r b3f6eeee5292 -r f2d4c846046a .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Sun Nov 15 20:00:37 2020 +0100
@@ -0,0 +1,3 @@
+^BUILD$
+^.mbed$
+^mbed-os$