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