Skip to content

Update executable paths in documentation#1993

Merged
ahojnnes merged 2 commits intodevfrom
user/joschonb/doc-path
Jul 2, 2023
Merged

Update executable paths in documentation#1993
ahojnnes merged 2 commits intodevfrom
user/joschonb/doc-path

Conversation

@ahojnnes
Copy link
Copy Markdown
Contributor

@ahojnnes ahojnnes commented Jul 2, 2023

No description provided.

@ahojnnes ahojnnes enabled auto-merge (squash) July 2, 2023 13:19
@ahojnnes ahojnnes merged commit 56bca9c into dev Jul 2, 2023
@ahojnnes ahojnnes deleted the user/joschonb/doc-path branch July 2, 2023 13:51
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