diff options
Diffstat (limited to 'docs/system/deprecated.rst')
| -rw-r--r-- | docs/system/deprecated.rst | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/system/deprecated.rst b/docs/system/deprecated.rst index 0e1fdf5c14..8f4d756e35 100644 --- a/docs/system/deprecated.rst +++ b/docs/system/deprecated.rst @@ -53,13 +53,6 @@ needs two devices (``-device intel-hda -device hda-duplex``) and ``pcspk`` which can be activated using ``-machine pcspk-audiodev=<name>``. -``-mon ...,control=readline,pretty=on|off`` (since 4.1) -''''''''''''''''''''''''''''''''''''''''''''''''''''''' - -The ``pretty=on|off`` switch has no effect for HMP monitors, but is -silently ignored. Using the switch with HMP monitors will become an -error in the future. - RISC-V ``-bios`` (since 5.1) '''''''''''''''''''''''''''' |