diff options
author | Péter Dimitrov <[email protected]> | 2018-04-27 16:13:10 +0200 |
---|---|---|
committer | Péter Dimitrov <[email protected]> | 2018-04-27 16:13:10 +0200 |
commit | 52c11d5afd18405eaa293bb881eddf23f408850f (patch) | |
tree | bb644aa82a744c62ff8c9d8d179e2023d477cdbb /lib/tools/Makefile | |
parent | a9742475e41aff01fb9e1f27f01f2160fe972f73 (diff) | |
parent | d2bef76078b6fdde589431056719943ad084eebb (diff) | |
download | otp-52c11d5afd18405eaa293bb881eddf23f408850f.tar.gz otp-52c11d5afd18405eaa293bb881eddf23f408850f.tar.bz2 otp-52c11d5afd18405eaa293bb881eddf23f408850f.zip |
Merge branch 'peterdmv/inets/prepare_for_release'
* peterdmv/inets/prepare_for_release:
inets: Correct runtime_dependencies before release
Change-Id: I6d5bcfd870c072944df79a2f36ac69d8f88499d0
Diffstat (limited to 'lib/tools/Makefile')
0 files changed, 0 insertions, 0 deletions