From 00468cf0bcfc8342702052d7e48098b28bcd1875 Mon Sep 17 00:00:00 2001
From: dahn <daan.hoogland@gmail.com>
Date: Tue, 18 Sep 2018 12:33:14 +0200
Subject: [PATCH] gitignore: remove replace.properties from ignore list (#2691)

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 1a73724c117..bdf411897b7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,7 +15,6 @@
 # specific language governing permissions and limitations
 # under the License.
 
-build/replace.properties
 build/build.number
 .lock-wscript
 .waf-*