From b1f0e5edc4ca2e400edbb9e41151544adf68647f Mon Sep 17 00:00:00 2001
From: Roberto Tyley <roberto.tyley@gmail.com>
Date: Sun, 28 May 2017 08:50:27 +0100
Subject: [PATCH] Git-ignore files generated during Gradle build

These are some of the files/dirs (that you wouldn't want to check-in to
source-control) that I see after getting the gradle-build going:
---
 .gitignore    | 2 +-
 pg/.gitignore | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)
 create mode 100644 pg/.gitignore

diff --git a/.gitignore b/.gitignore
index f0e77081c9..2ea91cd337 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,4 +16,4 @@ pg/*.bpg
 pg/*.txt
 
 .idea
-
+*.iml
diff --git a/pg/.gitignore b/pg/.gitignore
new file mode 100644
index 0000000000..15b49f2037
--- /dev/null
+++ b/pg/.gitignore
@@ -0,0 +1,4 @@
+/*.txt
+/*.asc
+/*.bpg
+