try build with docker

2020-04-18 16:26:54 +07:00
parent 836c70e80d
commit 474404f6f1
2 changed files with 14 additions and 3 deletions
@@ -11,6 +11,8 @@ latex
 *.elf
 *.ind
 .env
+.settings/
+.idea/
 /examples/*/*/build*
 test_old/
 tests_obsolete/