Skip to content

Fix grouping commands and simplify descriptions#1180

Merged
mosteo merged 3 commits into
alire-project:masterfrom
onox:fix/grouping-commands
Sep 19, 2022
Merged

Fix grouping commands and simplify descriptions#1180
mosteo merged 3 commits into
alire-project:masterfrom
onox:fix/grouping-commands

Conversation

@onox

@onox onox commented Sep 7, 2022

Copy link
Copy Markdown
Contributor

Fixes #1138

Comment thread src/alr/alr-commands-show.ads Outdated
Comment thread src/alr/alr-commands.adb Outdated
@mosteo mosteo merged commit 227f60f into alire-project:master Sep 19, 2022
@mosteo

mosteo commented Sep 19, 2022

Copy link
Copy Markdown
Member

Thanks, onox.

@onox onox deleted the fix/grouping-commands branch September 19, 2022 20:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Improvements to grouping of commands

2 participants