-
Adriaan de Groot authored
The docker images are ok, but the install-the-dependencies scripts have moved away from GitHub-specific.
d9406754
After you've reviewed these contribution guidelines, you'll be all set to
contribute to this project.
The docker images are ok, but the install-the-dependencies scripts have moved away from GitHub-specific.