Skip to content

Initial Docker setup, fix #2#6

Merged
michielbdejong merged 13 commits intomainfrom setupJun 14, 2021