Closed smor closed 5 years ago
Hi,
I noticed a typo in the Dockerfile comments, and an error with a non-existing git submodule command in the documentation. This PR should fix both of them.
Dockerfile
git submodule
Best, Stéphane
Hi Stéphane, sorry this went unnoticed for so long, but thanks for the contribution! -Jurriaan
Hi Jurriaan,
No worries, thanks ! I take it as a reminder to give it another close look. :-)
Hi,
I noticed a typo in the
Dockerfile
comments, and an error with a non-existinggit submodule
command in the documentation. This PR should fix both of them.Best, Stéphane