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

README: expand #100

Merged
merged 1 commit into from Oct 2, 2023
Merged

README: expand #100

merged 1 commit into from Oct 2, 2023

Conversation

grahamperrin
Copy link
Contributor

This began as a single correction – uppercase G for Git (where it's not the git command).

I got carried away.

@grahamperrin
Copy link
Contributor Author

Cross-reference:

… a description for the ports tree need not (should not) be as long as the proposed README.

@johnmehr johnmehr self-requested a review September 25, 2023 21:24
@johnmehr johnmehr self-assigned this Sep 25, 2023
@johnmehr
Copy link
Owner

johnmehr commented Oct 2, 2023

Thank you!

@johnmehr johnmehr closed this Oct 2, 2023
@johnmehr johnmehr reopened this Oct 2, 2023
@johnmehr johnmehr merged commit cf87f15 into johnmehr:main Oct 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@johnmehr johnmehr Awaiting requested review from johnmehr

Assignees

@johnmehr johnmehr

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@grahamperrin @johnmehr