From 3841cc75574886b226114bd508de7d923fb6c2b8 Mon Sep 17 00:00:00 2001
From: Alexander Senier <senier@adacore.com>
Date: Thu, 26 Oct 2023 08:51:31 +0000
Subject: [PATCH] Exclude coverage status files from VScode explorer

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

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 4768d0920..7f7395ee1 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -20,4 +20,7 @@
   "[python]": {
     "editor.defaultFormatter": "ms-python.black-formatter"
   },
+  "files.exclude": {
+    ".coverage.*": true
+  },
 }