diff options
Diffstat (limited to 'docs/en/developers')
| -rw-r--r-- | docs/en/developers/01_Index.md | 2 | ||||
| -rw-r--r-- | docs/en/developers/02_GitHub.md (renamed from docs/en/developers/02_Github.md) | 0 | ||||
| -rw-r--r-- | docs/en/developers/03_Backend/05_Extensions.md | 2 |
3 files changed, 2 insertions, 2 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) diff --git a/docs/en/developers/02_Github.md b/docs/en/developers/02_GitHub.md index 066d6ffb0..066d6ffb0 100644 --- a/docs/en/developers/02_Github.md +++ b/docs/en/developers/02_GitHub.md diff --git a/docs/en/developers/03_Backend/05_Extensions.md b/docs/en/developers/03_Backend/05_Extensions.md index 602625cf8..164a309ed 100644 --- a/docs/en/developers/03_Backend/05_Extensions.md +++ b/docs/en/developers/03_Backend/05_Extensions.md @@ -2,7 +2,7 @@ ## About FreshRSS -FreshRSS is an RSS / Atom feed aggregator written in PHP dating back to October 2012. The official site is located at [freshrss.org](https://freshrss.org) and the official repository is hosted on Github: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS). +FreshRSS is an RSS / Atom feed aggregator written in PHP dating back to October 2012. The official site is located at [freshrss.org](https://freshrss.org) and the official repository is hosted on GitHub: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS). ## The problem |