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.

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

Fix gh-pages #41

Merged
merged 1 commit into from
Jun 12, 2023
Merged

Fix gh-pages #41

merged 1 commit into from
Jun 12, 2023

Conversation

coot
Copy link
Collaborator

@coot coot commented Jun 2, 2023

No description provided.

@coot coot temporarily deployed to github-pages June 2, 2023 21:41 — with GitHub Actions Inactive
@coot coot added the documentation Improvements or additions to documentation label Jun 7, 2023
@coot coot self-assigned this Jun 7, 2023
@coot coot requested a review from bolt12 June 7, 2023 09:37
@coot coot added this pull request to the merge queue Jun 12, 2023
Merged via the queue into main with commit 882a382 Jun 12, 2023
14 checks passed
@coot coot deleted the coot/gh-pages branch June 12, 2023 08:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants