diff options
author | Siri Hansen <[email protected]> | 2017-06-08 10:06:31 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2017-06-08 10:06:31 +0200 |
commit | 72d8f7f0fa53063d16e82b033a2eae7349bcd662 (patch) | |
tree | 4fbd1b2f58fb9c0cdb9631505e30e89813ca393d /Makefile.in | |
parent | afd95422a9d5de847b42df2c17f9c09b13a25f3a (diff) | |
parent | dfe44271faf0b6eba0ac9d92c5f5e82c734bdb2e (diff) | |
download | otp-72d8f7f0fa53063d16e82b033a2eae7349bcd662.tar.gz otp-72d8f7f0fa53063d16e82b033a2eae7349bcd662.tar.bz2 otp-72d8f7f0fa53063d16e82b033a2eae7349bcd662.zip |
Merge branch 'siri/reltool/fix-doc-example'
* siri/reltool/fix-doc-example:
[reltool] Fix outdated example in user's guide
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions