minor improvements to the docs
This commit is contained in:
parent
bebac34f87
commit
9724bd4e1b
6 changed files with 54 additions and 52 deletions
|
|
@ -42,7 +42,7 @@ List of warnings
|
|||
----------------
|
||||
|
||||
Each warning can be activated individually with ``--warning[NAME]:on|off`` or
|
||||
in a ``push`` pragma.
|
||||
in a ``push`` pragma.
|
||||
|
||||
========================== ============================================
|
||||
Name Description
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue