diff options
| author | jvoisin | 2017-11-28 11:22:17 +0100 |
|---|---|---|
| committer | jvoisin | 2017-11-28 11:22:32 +0100 |
| commit | 878ae591ec07751f8224cdf05c6a14141a2d787b (patch) | |
| tree | ad8745973ef3798ef6ba342f766e0732119aed35 | |
| parent | d09a52b10251fbedb7f194eb4f45a0de979915b7 (diff) | |
Fix a link in the documentation
| -rw-r--r-- | doc/source/config.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/config.rst b/doc/source/config.rst index 99ef8e6..41863c8 100644 --- a/doc/source/config.rst +++ b/doc/source/config.rst | |||
| @@ -164,7 +164,7 @@ It can either be ``enabled`` or ``disabled`` and can be used in ``simulation`` m | |||
| 164 | Removing the user-agent part | 164 | Removing the user-agent part |
| 165 | """""""""""""""""""""""""""" | 165 | """""""""""""""""""""""""""" |
| 166 | 166 | ||
| 167 | Some web browser extensions, such as [uMatrix](https://github.com/gorhill/uMatrix/wiki) | 167 | Some web browser extensions, such as `uMatrix <https://github.com/gorhill/uMatrix/wiki>`__ |
| 168 | might be configured to change the user-agent on a regular basis. If you think that | 168 | might be configured to change the user-agent on a regular basis. If you think that |
| 169 | some of your users might be using configurations like this, you might want to disable | 169 | some of your users might be using configurations like this, you might want to disable |
| 170 | the mixing of the user-agent in the cookie's encryption key. The simplest way to do | 170 | the mixing of the user-agent in the cookie's encryption key. The simplest way to do |