Skip to content
GitLab
Explore
Sign in
Ansgar Burchardt
dune-docker
Repository
dune-docker
base-common
duneci-standard-test
Find file
Blame
History
Permalink
Use `dunecontrol` from repository (if exists)
· 2e6aaaa3
Ansgar Burchardt
authored
Oct 18, 2016
This allows using the script for `dune-common` as well.
2e6aaaa3