From 92a1bf3917f41f86c3c6153f97d99896c2665c3e Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Tue, 26 Sep 2017 22:20:25 +0200 Subject: Update some HTTP links (doc, HTTPS) (#1641) https://github.com/FreshRSS/FreshRSS/issues/1605 --- docs/fr/developers/02_Github.md | 2 +- docs/fr/developers/03_Backend/05_Extensions.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/fr/developers') 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 -- cgit v1.2.3