Minor changes parametrizing the Makefile and CircleCI config.

2019-09-04 16:14:44 +02:00
parent 70c01f7bcc
commit 72981365c9
3 changed files with 61 additions and 9 deletions
@@ -1,2 +1,4 @@
 __pycache__
-coverage.html
+
+output
+build