better workspace management

This commit is contained in:
2020-09-24 10:11:02 +02:00
parent dff01ca7e7
commit 069aadd788
5 changed files with 40 additions and 6 deletions

1
.gitignore vendored
View File

@@ -1 +1,2 @@
env
run/previous_*