diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-06 13:17:25 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2019-01-11 16:12:31 +0100 |
| commit | 2eaf5f8014ced0ea5cff65782646fe209bf8dc2f (patch) | |
| tree | d041f8b1e4f3b099120a8969af21a4623898df6f /lib/stdlib/doc/src/shell.xml | |
| parent | 73e4f5f21bbf492ab61c01dee48fa09fd7309a50 (diff) | |
| download | otp-2eaf5f8014ced0ea5cff65782646fe209bf8dc2f.tar.gz otp-2eaf5f8014ced0ea5cff65782646fe209bf8dc2f.tar.bz2 otp-2eaf5f8014ced0ea5cff65782646fe209bf8dc2f.zip | |
Add a link on the line number in cover output
This will make it easier to send links to other people.
Diffstat (limited to 'lib/stdlib/doc/src/shell.xml')
0 files changed, 0 insertions, 0 deletions