aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-04-29 16:54:40 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-04-29 16:54:40 +0200
commit0de630f3255df7817db597caad03cb5c8580cd00 (patch)
tree57ae3ffe2f9907d4617666ab3b5e816c84aa5f9d /.gitignore
parentcc35be1bf8f23ad6768dbb4f350be46e506f9381 (diff)
Add parallel version headers for build2
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 209706c..65207af 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,3 +27,7 @@
# Generated .gitignore files.
#
.gitignore
+
+# Temporarily here because of auto-generated odb/.gitignore.
+#
+odb/version-build2.hxx