Skip to content

Revert "reorganizing smglom with mod subdirs"

Michael Kohlhase requested to merge revert-558a0b44 into main

This reverts commit 558a0b44

Merge request reports