Make hyperref mandatory and deactivate option `nohyperref`#137

Merged

sieversMartin merged 1 commit intomainfrom 131-make-hyperref-mandatory-ie-remove-option-nohyperref

Nov 25, 2023

+116-181

Commits on Nov 25, 2023

Make hyperref mandatory and deactivate option nohyperref
sieversMartin
committed