diff options
| author | Dai Sato <satodai@w3m.jp> | 2006-04-07 15:22:07 +0000 |
|---|---|---|
| committer | Dai Sato <satodai@w3m.jp> | 2006-04-07 15:22:07 +0000 |
| commit | 75a6671d6c160a3bcda0fb44b77749629f5f4668 (patch) | |
| tree | 55c2f271eb1aa4669edbf7d7ab5a0856c3d4b97b /doc-jp/MANUAL.html | |
| parent | rewind to 10 Feb 2006. (diff) | |
| download | w3m-75a6671d6c160a3bcda0fb44b77749629f5f4668.tar.gz w3m-75a6671d6c160a3bcda0fb44b77749629f5f4668.zip | |
rewind to 10 Feb 2006.
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 |