diff options
author | Siri Hansen <[email protected]> | 2017-04-24 16:46:13 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2017-04-24 16:46:13 +0200 |
commit | 5a36e050b0b0615d0af841fecd4a7fabe7e40716 (patch) | |
tree | 6ebe2c463654dce3440e8e8c385ec818d64fef67 /bootstrap/bin | |
parent | 658bbc5604e07dbc6a893ce3d24f4d3f68d0a5c9 (diff) | |
parent | d175a0741126e53f6caa1f3e2be32ea1864c433e (diff) | |
download | otp-5a36e050b0b0615d0af841fecd4a7fabe7e40716.tar.gz otp-5a36e050b0b0615d0af841fecd4a7fabe7e40716.tar.bz2 otp-5a36e050b0b0615d0af841fecd4a7fabe7e40716.zip |
Merge branch 'siri/sysdoc/design_princ/fix-xmllint-error'
* siri/sysdoc/design_princ/fix-xmllint-error:
Fix xmllint warning in Design Principles/Supervisor Behaviour
Diffstat (limited to 'bootstrap/bin')
0 files changed, 0 insertions, 0 deletions