Ship with Hets in a (Docker) container #19
Description
Requires a Hets container wich might not be possible.
Would make it possible to use a lokal Hets on Windows.
{{ message }}
Requires a Hets container wich might not be possible.
Would make it possible to use a lokal Hets on Windows.