From ab82e096c17f3ba93ef0e7e8bf61e3f3e717222e 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