diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-01-17T10·53+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-01-17T10·53+0100 |
| commit | cfeff3b2731fd7e6dd030d4e4d56ff3a3aeac903 (patch) | |
| tree | a2d1cde14681a6b62d6a12964a996e402933e5d1 /doc/manual/command-ref/opt-common-syn.xml | |
| parent | d8b4cfad823524338f87a681b8790b8dbd3a7a1b (diff) | |
Move show-trace docs
Diffstat (limited to 'doc/manual/command-ref/opt-common-syn.xml')
| -rw-r--r-- | doc/manual/command-ref/opt-common-syn.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/manual/command-ref/opt-common-syn.xml b/doc/manual/command-ref/opt-common-syn.xml index 3aff4e1b6357..168bef080f4f 100644 --- a/doc/manual/command-ref/opt-common-syn.xml +++ b/doc/manual/command-ref/opt-common-syn.xml @@ -47,7 +47,6 @@ </arg> <arg><option>--fallback</option></arg> <arg><option>--readonly-mode</option></arg> -<arg><option>--show-trace</option></arg> <arg> <option>-I</option> <replaceable>path</replaceable> |