Skip to content
GitLab
Explore
Sign in
Revert "reorganizing smglom with mod subdirs"
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Revert "reorganizing smglom with mod subdirs"
Michael Kohlhase
requested to merge
revert-558a0b44
into
main
Sep 27, 2022
Overview
0
Commits
1
Pipelines
0
Changes
231
This reverts commit
558a0b44
Merge request reports
Loading