summaryrefslogtreecommitdiff
path: root/.devcontainer/Dockerfile (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use the new Github container registryMickaël Rémond2021-05-121-1/+2
|
* Remove set up already set in prebuilt imageMickaël Rémond2021-05-121-39/+0
|
* Use a prebuilt imageMickaël Rémond2021-05-121-2/+2
|
* Update DockerfileMickaël Rémond2020-12-161-3/+3
|
* Create DockerfileMickaël Rémond2020-12-161-0/+42