diff options
Diffstat (limited to 'doc-jp/MANUAL.html')
| -rw-r--r-- | doc-jp/MANUAL.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc-jp/MANUAL.html b/doc-jp/MANUAL.html index 0b24619..9dab5d9 100644 --- a/doc-jp/MANUAL.html +++ b/doc-jp/MANUAL.html @@ -97,7 +97,6 @@ HTMLファイルのソースを表示する <dd>折り返しサーチを使うかどうかを切りかえる． <dt>-o option=value <dd>オプションを指定する． -オプションの名前や値は，~/.w3m/config で指定するものと同じ． <dt>-no-proxy <dd>プロキシを利用しない． <dt>-pauth user:pass |