From 4eb34e4543fca84d348c6cfdc533e5e88509e541 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikolai=20G=C3=BCtschow?= <mikolai.guetschow@tu-dresden.de>
Date: Thu, 30 Oct 2025 09:51:24 +0100
Subject: [PATCH] .gitignore: ignore *.code-workspace files

those can be used in VSCode/VSCodium to save user-settings alongside the git-tracked .vscode/settings.json

inspired by https://laurens.io/blog/changing-vs-code-settings-locally-when-its-checked-into-git/
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 10527d8106..a4b189c6e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,6 +39,7 @@ cachegrind.out*
 # Visual Studio Code user settings
 .vscode/*
 !.vscode/settings.json
+*.code-workspace
 # ctags index files
 tags
 # GDB initialization scripts