• Joni Airaksinen's avatar
    Add PGD to Docker image (#1070) · e0aa7ce8
    Joni Airaksinen authored
    Copy the repository in the Dockerfile instead of cloning. This makes it
    possible to work with latest modifications, such as PGD in the dev branch,
    and also network bandwith does not get wasted.
    e0aa7ce8
Dockerfile 856 Bytes