Skip to content
GitLab
Explore
Sign in
Bob extension replacement
Code
Review changes
Check out branch
Download
Patches
Plain diff
Yannick DAYER
requested to merge
bob_extension_replacement
into
master
Nov 11, 2022
Overview
3
Commits
16
Pipelines
2
Changes
5
Expand
Part of the replacement of bob.extension to exposed and auto-intersphinx. Related to
#43 (closed)
.
Merge request reports
Loading