From 43abb5de52e0c4622035dd737146373d326d3683 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 25 Oct 2021 11:08:26 +0200
Subject: [PATCH] ignore file

---
 .gitignore                       | 1 +
 src/gen-res/BuildInfo.properties | 7 -------
 2 files changed, 1 insertion(+), 7 deletions(-)
 delete mode 100644 src/gen-res/BuildInfo.properties

diff --git a/.gitignore b/.gitignore
index 0929e2b..ccfb92b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 .gradle/
 src/gen
+src/gen-res
 .idea/
 build/
 out/
diff --git a/src/gen-res/BuildInfo.properties b/src/gen-res/BuildInfo.properties
deleted file mode 100644
index 3aae777..0000000
--- a/src/gen-res/BuildInfo.properties
+++ /dev/null
@@ -1,7 +0,0 @@
-#Sun, 29 Mar 2020 13:15:57 +0100
-
-moduleId=pnml
-moduleName=null
-moduleVariant=null
-timestamp=2020-03-29T13\:15Z
-build.date=2020-03-29
-- 
GitLab