From 47dec045e335a719ca94d4ce4e95587e50a9769f Mon Sep 17 00:00:00 2001
From: Matthias Herrmann <matthias.mh.herrmann@gmail.com>
Date: Sat, 11 Dec 2021 23:06:47 +0100
Subject: [PATCH] Extend .gitignore (#11372)

Signed-off-by: Matthias Herrmann <matthias.mh.herrmann@gmail.com>
---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 85fdc9acd7..65c1696293 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,8 @@ features/**/src/main/feature
 .factorypath
 pom.xml.versionsBackup
 .openapi-generator
+
+.metals
+.vim
+shell.nix
+tags
-- 
2.47.3