Skip to content
GitLab
Explore
Sign in
R3
school
courses
Merge requests
!123
The source project of this merge request has been removed.
minor changes git part 1
Laurent Heirendt
requested to merge
(removed):move-part1
into
develop
May 25, 2022
Overview
0
Pipelines
0
Changes
55
Expand
cc:
@marina.popleteeva
@vilem.ded
(now it is the right target repo
🤦🏼
)
Merge request reports