Merge branch 'dev' into mm-fixes

This commit is contained in:
Mattia Montanari
2020-05-21 17:52:28 +01:00
committed by GitHub
7 changed files with 222 additions and 212 deletions

7
.gitignore vendored
View File

@@ -209,4 +209,9 @@ callgrind.out.*
# Jetbrains IDE project files
/.idea
/*.iml
/*.iml
# Pytest
.cache
.pytest_cache
.mypy_cache