Merged
adding a dockerfile to run it#4ulrichard merged 7 commits intomaster from feature/docker
ulrichard merged 7 commits intomaster from feature/docker
adding a dockerfile to run it#4
Merged
ulrichard merged 7 commits intomaster from feature/dockerOct 5, 2023
+51-30