Merge branch 'master' into dev

This commit is contained in:
Dimitris Panokostas 2020-08-15 00:00:45 +02:00
commit 092b721960
35 changed files with 690 additions and 655 deletions

View file

@ -123,4 +123,4 @@
<SuppressTTYCreation>false</SuppressTTYCreation>
<IndexDebugSymbols>true</IndexDebugSymbols>
</Debug>
</VisualGDBProjectSettings2>
</VisualGDBProjectSettings2>