diff options
Diffstat (limited to 'Documentation/user-manual.html.git')
| -rw-r--r-- | Documentation/user-manual.html.git | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Documentation/user-manual.html.git b/Documentation/user-manual.html.git index 14b2724e5..be7575f9a 100644 --- a/Documentation/user-manual.html.git +++ b/Documentation/user-manual.html.git @@ -5729,14 +5729,6 @@ cellspacing="0" cellpadding="4"> <td align="left" valign="top"><p class="table">--cloud-timeout=<duration></p></td> <td align="left" valign="top"><p class="table">Set the timeout for cloud connection (0 < duration < 60). This enables longer timeouts for slow Internet connections</p></td> </tr> -<tr> -<td align="left" valign="top"><p class="table">--win32console</p></td> -<td align="left" valign="top"><p class="table">Create a dedicated console if needed (Windows only). Add this option before everything else</p></td> -</tr> -<tr> -<td align="left" valign="top"><p class="table">--win32log</p></td> -<td align="left" valign="top"><p class="table">Write the program output to subsurface.log (Windows only). Add option before everything else</p></td> -</tr> </tbody> </table> </div> |