Skip to content

Comments

Implement #113#118

Open
tfrancart wants to merge 2 commits intomasterfrom
issue-113
Open

Implement #113#118
tfrancart wants to merge 2 commits intomasterfrom
issue-113

Conversation

@tfrancart
Copy link
Collaborator

Formal definition of OverarchingActivity, see #113

@tfrancart tfrancart requested a review from flo7894 October 13, 2023 13:50
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