Skip to content
This repository was archived by the owner on Jun 14, 2022. It is now read-only.

Make Parameter trait more flexible#56

Merged
prehner merged 5 commits into
mainfrom
improve_parameter_trait
Jun 7, 2022
Merged

Make Parameter trait more flexible#56
prehner merged 5 commits into
mainfrom
improve_parameter_trait

Conversation

@prehner

@prehner prehner commented Jun 7, 2022

Copy link
Copy Markdown
Contributor

No description provided.

@prehner prehner merged commit 58c82ca into main Jun 7, 2022
@prehner prehner deleted the improve_parameter_trait branch June 7, 2022 13:33
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant