| commit | 9fe7eb528c711e56ee58ce3b8a4d7b4270708d40 | |
| author | Christoph Reiter <reiter.christoph@gmail.com> | |
| Fri, 12 Jan 2018 08:42:49 +0000 (12 09:42 +0100) | ||
| committer | Christoph Reiter <reiter.christoph@gmail.com> | |
| Fri, 12 Jan 2018 08:51:57 +0000 (12 09:51 +0100) | ||
| tree | a570a24d384843af55931dc9877d74348d7900fe | treesnapshot (tar.gz zip) |
| parent | 91a1ec0ef6e3cbfb6c83ae8e17564733c8e840f6 | commitdiff |
docs: Add custom roles for linking to gitlab issues and merge requests
This allows one to use :issue:`42` or :mr:`42` in the documentation
and the NEWS file and will result in links pointing to the
specified issue/merge request.
This allows one to use :issue:`42` or :mr:`42` in the documentation
and the NEWS file and will result in links pointing to the
specified issue/merge request.
| docs/conf.py | diffblobblamehistory |