Skip to content

dust: add short/long options#21977

Merged
Managor merged 1 commit intomainfrom
dust-updates
Apr 10, 2026
Merged

dust: add short/long options#21977
Managor merged 1 commit intomainfrom
dust-updates

Conversation

@nelsonfigueroa
Copy link
Copy Markdown
Member

Checklist

  • The page(s) are in the correct platform directories: common, linux, osx, windows, sunos, android, etc.
  • The page description(s) have links to documentation or a homepage.
  • The page(s) follow the content guidelines.
  • The page(s) follow the style guide.
  • The PR contains at most 5 new pages.
  • The PR is authored by me, or has been human-reviewed if it was created with AI or machine translation software.
  • The PR title conforms to the recommended templates.
  • Version of the command being documented (if known):
  • Reference issue: #

@github-actions github-actions Bot added the translation edit Changes to an existing translation page(s). label Apr 10, 2026
@Managor Managor merged commit cee761b into main Apr 10, 2026
9 checks passed
@Managor Managor deleted the dust-updates branch April 10, 2026 09:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

translation edit Changes to an existing translation page(s).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants