Skip to content
GitLab

Bob extension replacement

Merged Yannick DAYER requested to merge bob_extension_replacement into master

Part of the replacement of bob.extension to exposed and auto-intersphinx. Related to #43.