Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: add pwd command to console help #1404

Merged
merged 1 commit into from
Dec 27, 2023
Merged

fix: add pwd command to console help #1404

merged 1 commit into from
Dec 27, 2023

Conversation

gramian
Copy link
Collaborator

@gramian gramian commented Dec 27, 2023

What does this PR do?

A line is added to the online console help with the pwd command.

Checklist

  • I have run the build using mvn clean package command
  • My unit tests cover both failure and success scenarios

@lvca lvca merged commit 436608e into ArcadeData:main Dec 27, 2023
5 of 7 checks passed
@lvca
Copy link
Contributor

lvca commented Dec 27, 2023

Thanks!

@lvca lvca self-requested a review December 27, 2023 15:11
@lvca lvca added this to the 23.12.1 milestone Dec 27, 2023
@lvca lvca added the documentation Improvements or additions to documentation label Dec 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lvca lvca Awaiting requested review from lvca

Assignees

@gramian gramian

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
23.12.1
Development

Successfully merging this pull request may close these issues.
2 participants
@gramian @lvca