diff options
| author | 2022-01-08 21:58:55 +0100 | |
|---|---|---|
| committer | 2022-01-08 21:58:55 +0100 | |
| commit | 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 (patch) | |
| tree | f11de558e7a09522a45d1c155d9707ecda6bf1eb /docs/fr/users/01_Installation.md | |
| parent | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (diff) | |
Use typographic quotes (#4133)
* Use typographic quotes
* A few fixes
* Fix
* Fix not saved
* Implement feedback
* Detail
* Revert spoken English fixes
Left for a future dedicated discussion
* More reverts
* Final reverts
* Final minor
Diffstat (limited to 'docs/fr/users/01_Installation.md')
| -rw-r--r-- | docs/fr/users/01_Installation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/fr/users/01_Installation.md b/docs/fr/users/01_Installation.md index 090a8fec3..1fdb9b4fe 100644 --- a/docs/fr/users/01_Installation.md +++ b/docs/fr/users/01_Installation.md @@ -119,7 +119,7 @@ server { fastcgi_split_path_info ^(.+\.php)(/.*)$; # Par défaut la variable PATH_INFO n’est pas définie sous PHP-FPM # or l’API FreshRSS greader.php en a besoin. Si vous avez un “Bad Request”, vérifiez bien cette dernière ! - # REMARQUE : l'utilisation de la variable $path_info est requis. Pour plus de détails, voir : + # REMARQUE : l’utilisation de la variable $path_info est requis. Pour plus de détails, voir : # https://trac.nginx.org/nginx/ticket/321 set $path_info $fastcgi_path_info; fastcgi_param PATH_INFO $path_info; |
