diff options
| author | 2024-05-15 08:58:10 +0200 | |
|---|---|---|
| committer | 2024-05-15 08:58:10 +0200 | |
| commit | 2ed91026fcfef83ce5ef466a15e078229a106a6f (patch) | |
| tree | e11f2ef5f85d65029c9bdcc6d38304d8cbcdada6 /docs/en/developers/01_Index.md | |
| parent | 2d17c020b6695d47debda065804db4e2d2f92e55 (diff) | |
Correct casing for GitHub (#6460)
Diffstat (limited to 'docs/en/developers/01_Index.md')
| -rw-r--r-- | docs/en/developers/01_Index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/en/developers/01_Index.md b/docs/en/developers/01_Index.md index c3787377a..0e59b8c12 100644 --- a/docs/en/developers/01_Index.md +++ b/docs/en/developers/01_Index.md @@ -6,7 +6,7 @@ Start by creating your development environment. A guide to setting up FreshRSS†## After That -* [Github Branching and Pushing](02_Github.md) +* [GitHub Branching and Pushing](02_GitHub.md) * [Running tests](03_Running_tests.md) * [Creating a pull request](04_Pull_requests.md) * [Releasing a new version](05_Release_new_version.md) |
