Skip to content

Adapted the documentation to the new behavior of version exporting

Manuel Günther requested to merge boost_version into master

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

Merge request reports