From 6fbf526d5c928a19c996585145368b208609f308 Mon Sep 17 00:00:00 2001
From: Ashwin Bharambe <ashwin.bharambe@gmail.com>
Date: Fri, 22 Nov 2024 15:55:34 -0800
Subject: [PATCH] Move gitignore from docs/ to the main gitignore

---
 .gitignore      | 1 +
 docs/.gitignore | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 docs/.gitignore

diff --git a/.gitignore b/.gitignore
index 90470f8b3..24ce79959 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,4 @@ Package.resolved
 .venv/
 .vscode
 _build
+docs/src
diff --git a/docs/.gitignore b/docs/.gitignore
deleted file mode 100644
index 85de9cf93..000000000
--- a/docs/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-src