mirror of
https://github.com/boostorg/url.git
synced 2026-01-20 17:12:16 +00:00
bbe9700fed
Use the feature of the new extension version where the reference and the tagfiles extensions coordinate to set up the mrdocs generated tagfile as one of the tagfiles.