diff options
Diffstat (limited to 'docs/user/main.rst')
| -rw-r--r-- | docs/user/main.rst | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/docs/user/main.rst b/docs/user/main.rst index 7e7ad07409..d5fbb78d3c 100644 --- a/docs/user/main.rst +++ b/docs/user/main.rst @@ -87,9 +87,6 @@ Debug options: Activate logging of the specified items (use '-d help' for a list of log items) -``-p pagesize`` - Act as if the host page size was 'pagesize' bytes - ``-g port`` Wait gdb connection to port |