Skip to content

Add a development docker build image

Stéphane Del Pino requested to merge feature/docker-script into develop

The produced image contains the required tools to build a fairly reasonable environment. The image is built and run in order to integrate smoothly the developer's environment.

Obviously a proper installation of Docker is required.

Merge request reports