From 89e62715c7d20e20e8fed53dc9c1c42c26b64dbe 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