aboutsummaryrefslogtreecommitdiff
path: root/docs/fr/developers
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2024-05-15 08:58:10 +0200
committerGravatar GitHub <noreply@github.com> 2024-05-15 08:58:10 +0200
commit2ed91026fcfef83ce5ef466a15e078229a106a6f (patch)
treee11f2ef5f85d65029c9bdcc6d38304d8cbcdada6 /docs/fr/developers
parent2d17c020b6695d47debda065804db4e2d2f92e55 (diff)
Correct casing for GitHub (#6460)
Diffstat (limited to 'docs/fr/developers')
-rw-r--r--docs/fr/developers/03_Backend/05_Extensions.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/fr/developers/03_Backend/05_Extensions.md b/docs/fr/developers/03_Backend/05_Extensions.md
index a8662ffa1..335eb5e6e 100644
--- a/docs/fr/developers/03_Backend/05_Extensions.md
+++ b/docs/fr/developers/03_Backend/05_Extensions.md
@@ -4,7 +4,7 @@
FreshRSS est un agrégateur de flux RSS / Atom écrit en PHP depuis octobre
2012. Le site officiel est situé à l’adresse
-[freshrss.org](https://freshrss.org) et son dépot Git est hébergé par Github
+[freshrss.org](https://freshrss.org) et son dépot Git est hébergé par GitHub
: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS).
## Problème à résoudre