From 8eb94b89a32efc3cfcd0e8d05fdda4c12ae35360 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Mon, 25 Sep 2023 22:31:31 +0200
Subject: [PATCH] system-wide user .gitignore configuration should go in
 XDG_CONFIG_HOME/git/ignore

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index cb62271a829d..fe97b1e3588a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,7 +38,6 @@ _ocamltestd
 .merlin
 _build
 META
-.vscode
 
 # local to root directory