Skip to content
GitLab
Explore
Sign in
Doc refactoring
Code
Review changes
Check out branch
Download
Patches
Plain diff
Flavio TARSETTI
requested to merge
doc_refactoring
into
master
Sep 26, 2022
Overview
7
Commits
5
Pipelines
0
Changes
52
Expand
This MR refactors the documentation in a simpler way. The README has also shifted to Markdown
Merge request reports