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