diff options
| author | 2017-09-26 22:20:25 +0200 | |
|---|---|---|
| committer | 2017-09-26 22:20:25 +0200 | |
| commit | 92a1bf3917f41f86c3c6153f97d99896c2665c3e (patch) | |
| tree | 851232ae1d30f4a91413092eda392ac40a5009dd /docs/fr/developers/03_Backend/05_Extensions.md | |
| parent | f293cec4927b9abebca72588c531c53f83640a48 (diff) | |
Update some HTTP links (doc, HTTPS) (#1641)
https://github.com/FreshRSS/FreshRSS/issues/1605
Diffstat (limited to 'docs/fr/developers/03_Backend/05_Extensions.md')
| -rw-r--r-- | docs/fr/developers/03_Backend/05_Extensions.md | 2 |
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 0478d77b8..a3dc5ad20 100644 --- a/docs/fr/developers/03_Backend/05_Extensions.md +++ b/docs/fr/developers/03_Backend/05_Extensions.md @@ -2,7 +2,7 @@ ## Présentation de FreshRSS -FreshRSS est un agrégateur de flux RSS / Atom écrit en PHP depuis octobre 2012. Le site officiel est situé à l'adresse [freshrss.org](http://freshrss.org) et son dépot Git est hébergé par Github : [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS). +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 : [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS). ## Problème à résoudre |
