diff options
author | Rickard Green <[email protected]> | 2017-09-05 20:22:27 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2017-09-05 20:22:27 +0200 |
commit | d36893e369f77e401fba6a9aed527f530037648b (patch) | |
tree | f4a2817fdeaf5da7078dd23080827a6c5c967b69 /lib/tools/bin | |
parent | 9c6e230420148ca62f08e5ab6e637644d6d5cdf9 (diff) | |
parent | 8c9eafb3aa8b0d31e40b165e04766df93cd2e964 (diff) | |
download | otp-d36893e369f77e401fba6a9aed527f530037648b.tar.gz otp-d36893e369f77e401fba6a9aed527f530037648b.tar.bz2 otp-d36893e369f77e401fba6a9aed527f530037648b.zip |
Merge branch 'rickard/xml-lint-fixes'
* rickard/xml-lint-fixes:
Fix xml-lint warning in doc
Diffstat (limited to 'lib/tools/bin')
0 files changed, 0 insertions, 0 deletions