Skip to content

Improve git checkout in docs#379

Merged
forsyth2 merged 1 commit intomainfrom
issue-340-git-docs
Dec 7, 2022
Merged

Improve git checkout in docs#379
forsyth2 merged 1 commit intomainfrom
issue-340-git-docs

Conversation

@forsyth2
Copy link
Collaborator

@forsyth2 forsyth2 commented Dec 7, 2022

Improve git checkout in docs. Resolves #340.

@forsyth2 forsyth2 added Documentation Files in `docs` modified priority: low Low priority task labels Dec 7, 2022
@forsyth2 forsyth2 self-assigned this Dec 7, 2022
@forsyth2 forsyth2 merged commit 47c669a into main Dec 7, 2022
@forsyth2 forsyth2 deleted the issue-340-git-docs branch December 7, 2022 00:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Documentation Files in `docs` modified priority: low Low priority task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update git checkout instructions

1 participant