Skip to content
GitLab
Explore
Sign in
Resolve "Factors renaming"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Joan Solà Ortega
requested to merge
302-factors-renaming-2
into
devel
Jan 15, 2021
Overview
4
Commits
8
Pipelines
3
Changes
18
Expand
Will keep
#302 (closed)
open for future improvements
Edited
Jan 18, 2021
by
Joan Solà Ortega
Merge request reports
Loading