aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorSiri Hansen <[email protected]>2018-01-09 12:31:36 +0100
committerSiri Hansen <[email protected]>2018-01-09 12:31:36 +0100
commit8eeaa775a218ce8b74a59cace2f6b3d31f323b0b (patch)
tree193f7683f600e827288a6991325e6b80523a6104 /.gitignore
parentfbb7474e654225ad362168d08118c163976ad450 (diff)
parent276117e6322bb7cc299c9e22beec0016a32f7806 (diff)
downloadotp-8eeaa775a218ce8b74a59cace2f6b3d31f323b0b.tar.gz
otp-8eeaa775a218ce8b74a59cace2f6b3d31f323b0b.tar.bz2
otp-8eeaa775a218ce8b74a59cace2f6b3d31f323b0b.zip
Merge branch 'maint'
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 011463cbc9..cbf7881ae7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -132,6 +132,7 @@ JAVADOC-GENERATED
/bootstrap/lib/ic
/bootstrap/lib/orber
/bootstrap/lib/parsetools
+/bootstrap/lib/runtime_tools
/bootstrap/lib/sasl
/bootstrap/lib/snmp
/bootstrap/lib/syntax_tools