From 08a3f5240d0647eafe56fe5bac8b9b4a6df0924d Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 17 Dec 2024 16:02:22 +0100
Subject: [PATCH] add a few vscode extensions to the dev container

---
 .devcontainer/doxygen-cgal/devcontainer.json | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.devcontainer/doxygen-cgal/devcontainer.json b/.devcontainer/doxygen-cgal/devcontainer.json
index 0624727085f..f1c9f05badb 100644
--- a/.devcontainer/doxygen-cgal/devcontainer.json
+++ b/.devcontainer/doxygen-cgal/devcontainer.json
@@ -1,5 +1,5 @@
 {
-    "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": {}
@@ -7,7 +7,9 @@
     "customizations": {
         "vscode": {
             "extensions": [
-                "ms-vscode.cmake-tools"
+                "ms-vscode.cmake-tools",
+                "bbenoist.Doxygen",
+                "ms-vscode.cpptools"
             ]
         }
     },