aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorGravatar Jan Tattermusch <jtattermusch@users.noreply.github.com>2016-03-11 14:47:07 -0800
committerGravatar Jan Tattermusch <jtattermusch@users.noreply.github.com>2016-03-11 14:47:07 -0800
commit52676ba0c250f55828f9b590c0e215ec18a9344c (patch)
tree4138d2fda2bac9430632bdb53cbd02e1366291d2 /.gitignore
parent4d52cca1ef29837c7610e31897240b6f4abd6991 (diff)
parentaad4156a0ba79d963bfa3cd37e48a1074f956809 (diff)
Merge pull request #5694 from nicolasnoble/pre-0.13.1-downmerge
Pre 0.13.1 downmerge
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 9a1dc00850..502483f456 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,6 +35,7 @@ coverage
# cache for run_tests.py
.run_tests_cache
+.preprocessed_build
# emacs temp files
*~