aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index c898da66..a915ef3c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,6 +19,7 @@ test-linearize
example
test-unssa
ctags
+c2xml
# tags
tags