mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-15 03:55:38 +00:00
Associate with `\cref` and `\Cref` the reference-type `ref+label` and `ref+Label`. So far we don't do anything fancy with these. Also, associate with `\vref` `ref` instead of `ref+page`. See #7463.