diff options
| author | Peter Eisentraut | 2016-01-01 03:26:57 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2016-01-01 03:26:57 +0000 |
| commit | 253de19b8414b8b91e0fd710c2b492dc6375f9fa (patch) | |
| tree | d5b22383e5aaacaf24628d2cce937baa8c0b76f9 /src | |
| parent | 805ac78aaba1c5f71e878c3bc50bec8b82e076bb (diff) | |
doc: Remove redundant duplicate URLs from ulink elements
Empty ulink elements default to displaying the URL, so there is no need
to specify the URL again. This was already done for most occurrences,
but some cases didn't follow this convention.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions