From 18740d906f681a725ed203747a9adc4bcbfefaef Mon Sep 17 00:00:00 2001
From: Paul Schaub <vanitasvitae@fsfe.org>
Date: Sun, 30 Jun 2019 16:00:31 +0200
Subject: [PATCH] Add local.properties to gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 742156b3d..2739029bb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,3 +28,5 @@ extensions/bin
 
 target/
 .metadata
+
+local.properties