commit | c14a87d019acc008952157aae22bad1082f57237 | [log] [tgz] |
---|---|---|
author | Carsten Hiesserich <carsten.hie@gmail.com> | Tue May 14 22:10:15 2013 +0200 |
committer | Florian Thienel <florian@thienel.org> | Tue May 14 22:10:15 2013 +0200 |
tree | a0303540b25b1c9f286fdf6ec66cc8bbe05e38df | |
parent | ca2f868c6a9d29699d5aba000a42cfcca1a75681 [diff] |
correct formatting of verbatim elements https://bugs.eclipse.org/bugs/show_bug.cgi?id=407828