Skip to content
GitLab
Explore
Sign in
Fix build documentation instruction line
Code
Review changes
Check out branch
Download
Patches
Plain diff
Antonio Di Pilato
requested to merge
documentation/fix_build_doc
into
main
Dec 06, 2022
Overview
1
Commits
0
Pipelines
0
Changes
0
Expand
Replace old non-working line to build the documentation with the updated one as in the gitlab-ci.yml
Merge request reports
Loading