Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sort parameter and recorder names alphabetically #206

Merged
merged 3 commits into from
Feb 17, 2024

Conversation

s-simoncelli
Copy link
Contributor

No description provided.

@s-simoncelli s-simoncelli added enhancement New feature or request ui labels Feb 17, 2024
@s-simoncelli s-simoncelli self-assigned this Feb 17, 2024
@s-simoncelli s-simoncelli linked an issue Feb 17, 2024 that may be closed by this pull request
@s-simoncelli s-simoncelli enabled auto-merge (rebase) February 17, 2024 07:05
@s-simoncelli s-simoncelli merged commit 5af30a3 into main Feb 17, 2024
2 checks passed
@s-simoncelli s-simoncelli deleted the 204-sort-parameter-names-alphabetically branch February 17, 2024 07:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request ui
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Sort parameter names alphabetically
1 participant