From b6ee3b025dc1f5ba08c22f5d354319ef3c6db9b9 Mon Sep 17 00:00:00 2001
From: Nick Leeman <nick@aterve.nl>
Date: Fri, 8 Sep 2023 20:55:38 +0200
Subject: [PATCH] git ignore fix

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index a32d29f..8da1d0f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,4 +7,5 @@ Thumbs.db
 *.pyc
 .project
 .cproject
-builtins
\ No newline at end of file
+builtins
+c_cpp_properties.json
\ No newline at end of file