Skip to content
GitLab

Adapted the documentation to the new behavior of version exporting

Merged Manuel Günther requested to merge boost_version into master

When merging bob.extension!82 (merged), this MR will update the according documentation.