diff options
| author | Siri Hansen <[email protected]> | 2018-01-09 12:13:40 +0100 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2018-01-09 12:13:40 +0100 |
| commit | 276117e6322bb7cc299c9e22beec0016a32f7806 (patch) | |
| tree | 84a2b98a5abfc66c88a6769ab0bcae18fdf7b869 /.gitignore | |
| parent | 34a9e40405cef0c4b4606df63f31716214b8b44d (diff) | |
| parent | c35ea0683bf7474ac5ff5e1ac3c1ed44f35523b4 (diff) | |
| download | otp-276117e6322bb7cc299c9e22beec0016a32f7806.tar.gz otp-276117e6322bb7cc299c9e22beec0016a32f7806.tar.bz2 otp-276117e6322bb7cc299c9e22beec0016a32f7806.zip | |
Merge branch 'siri/etop/include/ERL-534/OTP-14842' into maint
* siri/etop/include/ERL-534/OTP-14842:
[observer] Use include_lib instead of include with relative path
Add runtime_tools/include to tertiary bootstrap
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 7bc051278c..f77d771256 100644 --- a/.gitignore +++ b/.gitignore @@ -131,6 +131,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 |