diff options
author | Mike Pilgrem <mpilgrem@users.noreply.github.com> | 2019-11-13 21:43:03 +0000 |
---|---|---|
committer | Mike Pilgrem <mpilgrem@users.noreply.github.com> | 2022-06-12 21:57:19 +0100 |
commit | 3ab18cf06ae9392eab1349675dab8a177f1412da (patch) | |
tree | a17da33db62ce591a05c2132c094913b371a41e0 /doc/cheatsheet/haddocks.pdf | |
parent | c5a83df91b97f85d995599c5ae7beacabe2ff040 (diff) |
Fix #783 Don't show button if --quickjump not present
Diffstat (limited to 'doc/cheatsheet/haddocks.pdf')
0 files changed, 0 insertions, 0 deletions