This repository has been archived by the owner on Jan 22, 2025. It is now read-only.

Order variable groups #14

Open

lubitchv opened this issue Mar 9, 2023 · 0 comments

Contributor

lubitchv commented Mar 9, 2023

Variable groups should be displayed alphabetically.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.