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 intomainfrom
improve_parameter_trait
Jun 7, 2022
Merged

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

Conversation

@prehner
Copy link
Copy Markdown
Contributor

@prehner prehner commented Jun 7, 2022

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