diff options
| author | Marian Beermann <public@enkore.de> | 2017-06-07 00:06:36 +0200 |
|---|---|---|
| committer | Marian Beermann <public@enkore.de> | 2017-06-07 00:38:48 +0200 |
| commit | 8fb7db71bc0ad9991917e5884ad501ceaa898ee0 (patch) | |
| tree | 5f31ac060c0163b30d01f7ea1e04adcf4f410991 /docs/usage/check.rst.inc | |
| parent | bc23890259c785e56de61ca5d7f914cc178b9bd3 (diff) | |
docs: split usage
Diffstat (limited to 'docs/usage/check.rst.inc')
| -rw-r--r-- | docs/usage/check.rst.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/usage/check.rst.inc b/docs/usage/check.rst.inc index 56bc42c8c..08aef0868 100644 --- a/docs/usage/check.rst.inc +++ b/docs/usage/check.rst.inc @@ -24,7 +24,7 @@ optional arguments ``--save-space`` | work slower, but using less space -`Common options`_ +:ref:`common_options` | filters |