aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/haddock.sh
diff options
context:
space:
mode:
authorAlexander Biehl <alexbiehl@gmail.com>2017-10-30 10:15:49 +0100
committerGitHub <noreply@github.com>2017-10-30 10:15:49 +0100
commit0f181c4a70ef5e4753545cd9e0734a015bb815e1 (patch)
tree7b36c544f1977438dc0fc7a728f8397ecd9202f2 /haddock-api/src/haddock.sh
parentaca68f620beb07f9bdebdf52948c6ea670be4980 (diff)
Put Quickjump behind --quickjump flag (#697)
Diffstat (limited to 'haddock-api/src/haddock.sh')
0 files changed, 0 insertions, 0 deletions