diff options
| author | jvoisin | 2018-01-12 10:55:50 +0100 |
|---|---|---|
| committer | jvoisin | 2018-01-12 10:55:50 +0100 |
| commit | 5da0c0fa9351a758e28941a7d0b1755dd57fea9b (patch) | |
| tree | 69981e9baf30548809f0c2794de9d1e2e03aee88 /doc/source/config.rst | |
| parent | 49a27fac20f757c158e5faa18a41337c5f33b17b (diff) | |
Improve a bit the documentation
Diffstat (limited to 'doc/source/config.rst')
| -rw-r--r-- | doc/source/config.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/source/config.rst b/doc/source/config.rst index cf24b10..85e9da5 100644 --- a/doc/source/config.rst +++ b/doc/source/config.rst | |||
| @@ -264,6 +264,8 @@ The whitelist comes before the black one: if a function is both whitelisted and | |||
| 264 | blacklisted, it'll be allowed. | 264 | blacklisted, it'll be allowed. |
| 265 | 265 | ||
| 266 | 266 | ||
| 267 | .. _virtual-patching-config: | ||
| 268 | |||
| 267 | Virtual-patching | 269 | Virtual-patching |
| 268 | ---------------- | 270 | ---------------- |
| 269 | 271 | ||