From 0a92cf0a3f7368704e33e03ca3e57c43dd92cbc0 Mon Sep 17 00:00:00 2001
From: majcosta <34732933+majcosta@users.noreply.github.com>
Date: Tue, 23 May 2023 20:01:15 -0300
Subject: [PATCH] Clean up .gitignore

To set up a personal .gitignore:

using Git Bash:
`echo shelve/ >> ~/.gitignore`
`git config --global core.excludesFile ~/.gitignore`

using Command Prompt, replace `~` with `%USERPROFILE%`
---
 .gitignore | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 8aca271a4..07d506ecd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,3 @@
 /out/
 /CMakeSettings.json
 /CMakeUserPresets.json
-
-# My shelves
-.shelve/