Skip to content
GitLab
Explore
Sign in
docs: remove refs to bob.extension and clean deps.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Yannick DAYER
requested to merge
rm-child-docs
into
master
Jun 23, 2023
Overview
0
Commits
1
Pipelines
2
Changes
6
Expand
Remove the dependency to "child" packages for the documentation as it breaks the release process.
Merge request reports