Skip to content

orfs_run: add extra_args that allows redirection#242

Merged
oharboe merged 1 commit intomainfrom
orfs-run
Oct 29, 2024
Merged

orfs_run: add extra_args that allows redirection#242
oharboe merged 1 commit intomainfrom
orfs-run

Conversation

@oharboe
Copy link
Copy Markdown
Collaborator

@oharboe oharboe commented Oct 29, 2024

No description provided.

Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
@oharboe oharboe merged commit b118c35 into main Oct 29, 2024
@oharboe oharboe deleted the orfs-run branch October 29, 2024 10:05
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.

1 participant