diff options
| author | Théo Zimmermann | 2019-04-25 09:17:59 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:17 +0200 |
| commit | 50654fc1917e8fc475973c9066280839aa0e2d88 (patch) | |
| tree | 05433e29e45b991c8b70617ce8589cdf113f4404 /doc/plugin_tutorial | |
| parent | 13d6db12f4e40e995572b15af52e3c31dd0c5182 (diff) | |
Remove misplaced CHANGES entry and fix links formatting.
PR #8187 misplaced its CHANGES entry. We remove it in this commit instead
of moving it to the right place because it is reverted in #9987.
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions