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/syntax_tools/doc/overview.edoc | |
| 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/syntax_tools/doc/overview.edoc')
0 files changed, 0 insertions, 0 deletions