diff options
author | Siri Hansen <[email protected]> | 2018-01-09 12:31:36 +0100 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2018-01-09 12:31:36 +0100 |
commit | 8eeaa775a218ce8b74a59cace2f6b3d31f323b0b (patch) | |
tree | 193f7683f600e827288a6991325e6b80523a6104 /.gitignore | |
parent | fbb7474e654225ad362168d08118c163976ad450 (diff) | |
parent | 276117e6322bb7cc299c9e22beec0016a32f7806 (diff) | |
download | otp-8eeaa775a218ce8b74a59cace2f6b3d31f323b0b.tar.gz otp-8eeaa775a218ce8b74a59cace2f6b3d31f323b0b.tar.bz2 otp-8eeaa775a218ce8b74a59cace2f6b3d31f323b0b.zip |
Merge branch 'maint'
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
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 |