Skip to content

Conversation

@yosupo06
Copy link
Collaborator

fix #41: the url of github pages contains branch/tag name

@yosupo06 yosupo06 changed the title Fix #41: Fix #41: The url of github pages contains branch/tag name Sep 20, 2020
@yosupo06 yosupo06 merged commit d72ad8e into master Sep 20, 2020
@yosupo06 yosupo06 deleted the patch/issue41 branch September 20, 2020 11:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The document at GitHub Pages is old

2 participants