Ignoring build.properties file

[jpf-core.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index a7586ef3b81a4a9c8f89cfffe2684639c7c8d112..2409b424dcdd61a3efe4da2ae9f087ce4eec8a7a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 local.properties
 .version
+build.properties
 
 ####### General #######
 trace