Skip to content

update README and add docker file to this repo

Ralf Jung requested to merge docker into opam2

There's no longer any reason to have the separate repo on github, so I'd like to delete it.

Merge request reports