Skip to content
GitLab
Explore
Sign in
The source project of this merge request has been removed.
Delete dots at end of headers
Josep M. Ferrer
requested to merge
(removed):master
into
master
Jan 24, 2023
Overview
1
Pipelines
0
Changes
1
Expand
Delete some extra dots at end of headers
Merge request reports
Loading