From 008845ae7aa657bdc86dedda2b67f234ea1aa249 Mon Sep 17 00:00:00 2001
From: Cyril Cohen <CohenCyril@users.noreply.github.com>
Date: Fri, 5 Jan 2024 11:00:02 +0100
Subject: [PATCH] Update GETTING_STARTED.md

---
 GETTING_STARTED.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GETTING_STARTED.md b/GETTING_STARTED.md
index 6a493f8..047e444 100644
--- a/GETTING_STARTED.md
+++ b/GETTING_STARTED.md
@@ -63,7 +63,7 @@ Here are the instructions:
   ```
   4. You can also run `make install` to install Trocq on your system.
 
-## Exploring the examples
+## Exploring the examples with VSCode
 
 After completing the **Getting the right setup** phase above, the `examples`
 folder can be unfolded and the files can be inspected by clicking on them.