diff options
| author | Lukas Larsson <[email protected]> | 2018-04-06 16:41:11 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2018-04-10 14:07:59 +0200 |
| commit | ec7be0d6f6ccff9aaae0f1bd0461812c898e13e9 (patch) | |
| tree | b734387eee3d4c2bc7abe0b3b8fc3b2131964e89 /lib/jinterface | |
| parent | a91f4640bc4554f9a746afa65bacda0e1a60afc0 (diff) | |
| download | otp-ec7be0d6f6ccff9aaae0f1bd0461812c898e13e9.tar.gz otp-ec7be0d6f6ccff9aaae0f1bd0461812c898e13e9.tar.bz2 otp-ec7be0d6f6ccff9aaae0f1bd0461812c898e13e9.zip | |
erl_docgen: Add hover links for ghlink
All functions, datatype and h3 headings have gotten a hover
attribute that shows a link directly to the edit page on
github for easy editing of documentation.
The github link links to the maint branch. An early attempt
was done to use the SHA of the current branch, but that did
not work well as github can only take pull requests from
branches.
Diffstat (limited to 'lib/jinterface')
0 files changed, 0 insertions, 0 deletions