summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index bad0c8c..abc43c0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@ target/
12output_files/ 12output_files/
13db/ 13db/
14incremental_db/ 14incremental_db/
15greybox_tmp/
15 16
16###################### 17######################
17# TeXlipse 18# TeXlipse