From 72c08ea49039c34febd3a3950071e8ab0cfd591f Mon Sep 17 00:00:00 2001
From: Marco Vogt <marco.vogt@unibas.ch>
Date: Sun, 5 May 2024 16:46:07 +0200
Subject: [PATCH] Remove outdated entry in gitignore

---
 .gitignore | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 52d32e4..ff68f3b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -253,6 +253,3 @@ nbdist/
 
 # Ignore dynamically generated version file
 src/main/resources/version.properties
-
-# Ignoreproto files
-src/main/proto/