adding the docker image to prepare the CI
Description
Description
Details
Details
- Committed
anciaux Jun 19 2020, 09:27 - Pushed
anciaux Jun 19 2020, 09:38 - Parents
- R3683:b91b4a0d9481: adding a formatters in svg to avoid to have dvipng installed
- Branches
- Unknown
- Tags