From c7946c572eb898e3f06911e4bd90b7c370e7b3fd Mon Sep 17 00:00:00 2001
From: Kristoffer Carlsson <kcarlsson89@gmail.com>
Date: Tue, 5 Jul 2022 13:31:27 +0200
Subject: [PATCH] add a .gitignore to prevent double results when searching
 with editors (#45931)

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

diff --git a/src/.gitignore b/src/.gitignore
index 388e971d4f12d..4ddd75fbb5d62 100644
--- a/src/.gitignore
+++ b/src/.gitignore
@@ -21,6 +21,7 @@
 /julia_version.h
 /flisp/host
 /support/host
+/base/
 
 # Clang compilation database
 /compile_commands*.json