pisa -> teos

This commit is contained in:
Sergi Delgado Segura
2020-03-17 13:05:55 +01:00
parent 15126618d5
commit 7c7ff909d7
56 changed files with 373 additions and 372 deletions

3
.gitignore vendored
View File

@@ -17,4 +17,5 @@ test.py
.coverage
htmlcov
docs/
.pisa_btc
.teos
.teos_cli