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 /lib/runtime_tools | |
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 'lib/runtime_tools')
0 files changed, 0 insertions, 0 deletions