diff options
| author | Lars Thorsen <[email protected]> | 2016-05-17 08:41:19 +0200 |
|---|---|---|
| committer | Lars Thorsen <[email protected]> | 2016-06-01 14:38:36 +0200 |
| commit | edec337e3c4361d87efdd48bcfe10ac382a7837c (patch) | |
| tree | 41f36c0065d64d11d946e0d6a1c3988dbf8bc7c7 /lib/public_key/.gitignore | |
| parent | 3664cd6ae6671c04217070e3c5e9d5938e0423bf (diff) | |
| download | otp-edec337e3c4361d87efdd48bcfe10ac382a7837c.tar.gz otp-edec337e3c4361d87efdd48bcfe10ac382a7837c.tar.bz2 otp-edec337e3c4361d87efdd48bcfe10ac382a7837c.zip | |
[erl_docgen] Correct the handling of marker tags
Corrected how the generated html anchor is placed so
the section title is visible after jump to the anchor.
Diffstat (limited to 'lib/public_key/.gitignore')
0 files changed, 0 insertions, 0 deletions