diff options
author | Grzegorz Baranski | 2021-08-26 17:48:33 +0000 |
---|---|---|
committer | GitHub | 2021-08-26 17:48:33 +0000 |
commit | cec5d437d892767ccbc49cfcb20b4561ce24576d (patch) | |
tree | e8aa4707b0c7a38ba730ff359e09925ec6efb674 /book/theme/favicon.png | |
parent | 6192f2fa250e3aa10e514547c69ae901aebed657 (diff) |
fix: show current line number even if relative line is on (#656)
Diffstat (limited to 'book/theme/favicon.png')
0 files changed, 0 insertions, 0 deletions