From 3c08b88777c52c6f16407388643b5b4e681150fa Mon Sep 17 00:00:00 2001 From: Pacien TRAN-GIRARD Date: Sun, 15 Jun 2014 15:28:17 +0200 Subject: Ignore greyboxes --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index bad0c8c..abc43c0 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,7 @@ target/ output_files/ db/ incremental_db/ +greybox_tmp/ ###################### # TeXlipse -- cgit v1.2.3