Skip to content

0.4.0

Latest
Compare
Choose a tag to compare
@MridulS MridulS released this 21 Sep 20:26
· 12 commits to master since this release

0.4.0 (2020-09-22)

  • .dockerimage file let's you add the name of the docker image, it should exist either in the root directory or the reproduce/ directory.