Skip to content

Disable subsplits for GroupsAsCategoriesForCAP - #1753

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
TKuh:groups_as_cats_subsplit
Jun 27, 2025
Merged

Disable subsplits for GroupsAsCategoriesForCAP#1753
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
TKuh:groups_as_cats_subsplit

Disable subsplits for GroupsAsCategoriesForCAP

4da5ab8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.