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

chore: fix dead links to the documentation #471

merged 2 commits into from Jun 23, 2021


Copy link

I thought the case-sensitivity in a URL doesn't matter. I was wrong. The links to the were broken because does not work.

@kilchenmann kilchenmann requested a review from waychal June 23, 2021 09:16
@kilchenmann kilchenmann self-assigned this Jun 23, 2021
@kilchenmann kilchenmann merged commit d7ae022 into main Jun 23, 2021
@kilchenmann kilchenmann deleted the wip/fix-dead-links branch June 23, 2021 09:24
@kilchenmann kilchenmann added the chore Maintenance and build tasks label Jun 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
chore Maintenance and build tasks
None yet

Successfully merging this pull request may close these issues.

None yet

2 participants