From a9eb4ecd2272592b46fd81129e569a32a9d027a8 Mon Sep 17 00:00:00 2001
From: bugobliterator <siddharthbharatpurohit@gmail.com>
Date: Tue, 17 Aug 2021 18:22:08 +0530
Subject: [PATCH] .gitignore: ignore history directory from vscode extension

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index e2907e8225..5bac7b7d35 100644
--- a/.gitignore
+++ b/.gitignore
@@ -104,6 +104,7 @@ config.mk
 *.apj
 .gdbinit
 /.vscode
+/.history
 Parameters.html
 Parameters.md
 Parameters.rst