Skip to content

do not export InfoOfInstalledOperationsOfCategory - #124

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel
Oct 8, 2026
Merged

mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel

Conversation

@mohamed-barakat

Copy link
Copy Markdown
Member

No description provided.

@mohamed-barakat
mohamed-barakat merged commit 13e29dc into homalg-project:master Oct 8, 2026
3 checks passed
@mohamed-barakat
mohamed-barakat deleted the devel branch October 8, 2026 09:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant