Skip to content
GitLab
Explore
Sign in
merge the new documentation to master
Code
Review changes
Check out branch
Download
Patches
Plain diff
Zohreh MOSTAANI
requested to merge
docedit
into
master
Dec 12, 2018
Overview
1
Commits
7
Pipelines
2
Changes
7
Expand
This merge request merges the new documentation to master.
Edited
Dec 15, 2018
by
Zohreh MOSTAANI
Merge request reports