PR #110 Improve CLI helptext

Improve CLI helptext #110

ayushkamat merged 3 commits into main from maximsmol/improve-cli-helptext

improve CLI helptext

8dee6617

maximsmol requested a review from

ayushkamat 3 years ago

del some missed prolog messages

6c5e24b5

ayushkamat requested changes on 2022-07-14

restyle local-execute

2d321784

ayushkamat approved these changes on 2022-07-15

ayushkamat merged f9d4cc40 into main 3 years ago

Reviewers

ayushkamat

Assignees

No one assigned

Labels

None yet

Milestone

No milestone