From 0e1584f083d3ae014c85db35af35e948ab3a0509 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 5 Apr 2016 09:13:08 +0200
Subject: [PATCH] ignore gradle.properties

This file is generated by Android Studio whenever I'm using a proxy like
Tor.  Its not used otherwise, and should not be checked into git.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 159567062..91d7c59a9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@ build.xml
 # Gradle files
 .gradle/
 build/
+gradle.properties
 
 # Local configuration file (sdk path, etc)
 local.properties