Merge remote-tracking branch 'origin/master' into develop

5 years ago · a8c0954db5
parent 171f3e840b b5419bd574
commit a8c0954db5
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -73,6 +73,7 @@ id_rsa_*

 # python things
 __pycache__
+.python-version

 # prerequisites for updating ChibiOS
 /util/fmpp*