Skip to content
This repository has been archived by the owner on Nov 8, 2024. It is now read-only.

Useful postcards info #6

Merged
merged 2 commits into from
Oct 11, 2022
Merged

Useful postcards info #6

merged 2 commits into from
Oct 11, 2022

Conversation

jphastings
Copy link
Collaborator

Adds useful output for postcards info <file.postcard>

@jphastings jphastings merged commit 5f98a5a into main Oct 11, 2022
@jphastings jphastings deleted the PC-1/useful-postcards-info branch October 11, 2022 20:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant