From 7f5497db55f59cd492215210a1c3413b6a14d0fd Mon Sep 17 00:00:00 2001
From: Benoit Blanchon <git@benoitblanchon.fr>
Date: Fri, 22 Oct 2021 14:11:50 +0200
Subject: [PATCH] VSCode: exclude catch/ from search

---
 .vscode/settings.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 5e9d4ec5..28bb4eaa 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -15,5 +15,8 @@
     "xlocnum": "cpp",
     "xloctime": "cpp",
     "xstring": "cpp"
+  },
+  "search.exclude": {
+    "/extras/tests/catch/*": true
   }
 }