add a few vscode extensions to the dev container

CGAL · Dec 17, 2024 · 08a3f52 · 08a3f52
1 parent 5eddbc2
commit 08a3f52
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.devcontainer/doxygen-cgal/devcontainer.json b/.devcontainer/doxygen-cgal/devcontainer.json
@@ -1,13 +1,15 @@
 {
-    "name": "CGAL Doxygen Dev Container",
+    "name": "CGAL Doxygen Dev Container, version 1.12.0, with CGAL patch",
     "image": "docker.io/cgal/doxygen:1.12.0",
     "features": {
         "ghcr.io/devcontainers/features/git:1.3.2": {}
     },
     "customizations": {
         "vscode": {
             "extensions": [
-                "ms-vscode.cmake-tools"
+                "ms-vscode.cmake-tools",
+                "bbenoist.Doxygen",
+                "ms-vscode.cpptools"
             ]
         }
     },