Unnecessary gitignore entry

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