X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=.gitignore;h=1950eb15cd105fc016229c379f3b1791bd849793;hp=50639fdf4ce857c168cce6426769a46b26331112;hb=ec609ae000b3f7bba0e2d6d4c12c0b4e86bd2bfe;hpb=0e5714c5b15bcb2a26ac256ddab03a2dfb0606b0

diff --git a/.gitignore b/.gitignore
index 50639fd..1950eb1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -71,3 +71,4 @@ out/
 
 # JIRA plugin
 atlassian-ide-plugin.xml
+/build-default/