Skip to content
GitLab
Explore
Sign in
SMGloM
algebra
Merge requests
!2
Revert "needs delete"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Kohlhase
requested to merge
revert-7a75e522
into
main
Sep 27, 2022
Overview
0
Commits
1
Pipelines
0
Changes
41
Expand
This reverts commit
7a75e522
Merge request reports