Unnecessary gitignore entry

lrytz · lrytz · commit 01aa7eff1847 · 2018-05-19T10:18:59.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -12,8 +12,6 @@
 *.jar
 *~
 
-build.properties
-
 # target directories for ant build
 /build/
 /dists/
