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 | |
| parent | f293cec4927b9abebca72588c531c53f83640a48 (diff) | |
Update some HTTP links (doc, HTTPS) (#1641)
https://github.com/FreshRSS/FreshRSS/issues/1605
Diffstat (limited to 'docs/fr/developers')
| -rw-r--r-- | docs/fr/developers/02_Github.md | 2 | ||||
| -rw-r--r-- | docs/fr/developers/03_Backend/05_Extensions.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/fr/developers/02_Github.md b/docs/fr/developers/02_Github.md index 3d4bf9639..b4fa7b301 100644 --- a/docs/fr/developers/02_Github.md +++ b/docs/fr/developers/02_Github.md @@ -18,7 +18,7 @@ GitHub est la plate-forme à privilégier pour vos demandes. En effet, cela nous Tout le monde n'aime pas ou n'utilise pas GitHub pour des raisons aussi diverses que légitimes. C'est pourquoi vous pouvez aussi nous contacter de façon plus informelle. -* Sur [les listes de diffusion](http://freshrss.org/announce-of-the-mailing-lists.html) +* Sur [les listes de diffusion](https://freshrss.org/announce-of-the-mailing-lists.html) * À des évènements / rencontres autour du Logiciel Libre * Autour d'une bière dans un bar * Etc. 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 |
