Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

update prints for finding all services #40

Merged
merged 1 commit into from
Feb 3, 2023
Merged

update prints for finding all services #40

merged 1 commit into from
Feb 3, 2023

Conversation

andermi
Copy link
Collaborator

@andermi andermi commented Feb 3, 2023

Signed-off-by: Michael Anderson anderson@mbari.org

@andermi
update prints for finding all services
014e41c 
Signed-off-by: Michael Anderson <anderson@mbari.org>
@andermi andermi merged commit 8cd1982 into main Feb 3, 2023
@andermi andermi deleted the andermi/print_tweaks_again branch February 3, 2023 22:59
andermi added a commit that referenced this pull request Feb 3, 2023
@andermi
Revert "update prints for finding all services (#40)"
e6e454c 
This reverts commit 8cd1982.
andermi added a commit that referenced this pull request Feb 3, 2023
@andermi
Revert "update prints for finding all services (#40)" (#41)
e13509f 
* Revert "update prints for finding all services (#40)"

This reverts commit 8cd1982.

* fix quotations on print
@hamilton8415 hamilton8415 mentioned this pull request May 3, 2023
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@andermi