From eb8edb4f2e2bf9a6d3a249fcd5097203b38b6c89 Mon Sep 17 00:00:00 2001
From: Juergen Graf <juergen.graf@gmail.com>
Date: Tue, 29 Mar 2011 15:52:52 +0200
Subject: [PATCH] ignore wala.properties file - it is system specific and must
 be created by the developer

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 3b8377874..6e9cf59bd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,5 +4,6 @@
 *.swp
 *.out
 */bin/*
+com.ibm.wala.core/dat/wala.properties
 com.ibm.wala.cast.java.polyglot/lib/java_cup.jar
 com.ibm.wala.cast.java.polyglot/lib/polyglot.jar