diff options
| author | 2017-09-26 22:20:25 +0200 | |
|---|---|---|
| committer | 2017-09-26 22:20:25 +0200 | |
| commit | 92a1bf3917f41f86c3c6153f97d99896c2665c3e (patch) | |
| tree | 851232ae1d30f4a91413092eda392ac40a5009dd /docs | |
| parent | f293cec4927b9abebca72588c531c53f83640a48 (diff) | |
Update some HTTP links (doc, HTTPS) (#1641)
https://github.com/FreshRSS/FreshRSS/issues/1605
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/en/developers/03_Backend/05_Extensions.md | 2 | ||||
| -rw-r--r-- | docs/fr/developers/02_Github.md | 2 | ||||
| -rw-r--r-- | docs/fr/developers/03_Backend/05_Extensions.md | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/docs/en/developers/03_Backend/05_Extensions.md b/docs/en/developers/03_Backend/05_Extensions.md index c5c00ff08..b0b5793df 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 feeds aggregator written in PHP since October 2012. The official site is located at [freshrss.org](http://freshrss.org) and its repository is hosted by Github: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS). +FreshRSS is an RSS / Atom feeds aggregator written in PHP since October 2012. The official site is located at [freshrss.org](https://freshrss.org) and its repository is hosted by Github: [github.com/FreshRSS/FreshRSS](https://github.com/FreshRSS/FreshRSS). ## Problem to solve 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 |
