Laurent Rineau 08a3f5240d add a few vscode extensions to the dev container		2024-12-17 16:02:22 +01:00
..
Dockerfile	…
Makefile	…
cgal-NO_ADDITIONAL_DETAILS.patch	…
devcontainer.json	add a few vscode extensions to the dev container	2024-12-17 16:02:22 +01:00
distrobox.ini	…