Skip to content
This repository has been archived by the owner on Aug 5, 2024. It is now read-only.

Order inputs alphabetically, to easily find relevant option and know where to insert a new one #5

Merged
merged 1 commit into from
May 13, 2024

Conversation

toy
Copy link

@toy toy commented May 7, 2024

No description provided.

@oliverguenther oliverguenther merged commit 6e5d5a2 into master May 13, 2024
6 checks passed
@oliverguenther oliverguenther deleted the order-opf branch May 13, 2024 12:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants