-
- Downloads
Merge branch 'cli-shorthands' into 'master'
Add shorthands for CLI options See merge request !20
No related branches found
No related tags found
Please register or sign in to comment
Due to maintenance at 17.06.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable. In maintenance, GitLab is updated to version 18. Information about changes can be found at: https://about.gitlab.com/blog/2025/04/18/a-guide-to-the-breaking-changes-in-gitlab-18-0/#breaking-changes
Add shorthands for CLI options See merge request !20