From 70174ec9671e1f3b97bbd9656d2af7f0b4d49fba Mon Sep 17 00:00:00 2001
From: Michael Simons <michael@simons.ac>
Date: Mon, 21 Jun 2021 17:47:39 +0200
Subject: [PATCH] Add .gradle to .gitignore.

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

diff --git a/.gitignore b/.gitignore
index 06c2335fd..51e4a134b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,3 +31,4 @@ target/
 .DS_Store
 .flattened-pom.xml
 dependency-reduced-pom.xml
+.gradle