summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index e73debc369c5..2753c9073832 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,7 +17,6 @@ tags
/doc/NEWS.txt
/doc/manual.html
/doc/manual.pdf
-/result
/source/
.version-suffix