Skip to content

Updated the name of Dockerfile in build script.

Matthijs van der Wild requested to merge update-dockerfile into master

The old docker file has been split into Dockerfile-base and Dockerfile-prefactor. The build script still referred to the old Dockerfile (now Dockerfile-prefactor).

Merge request reports