diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-01-16 16:11:35 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-01-16 16:11:35 +0000 |
| commit | d4cc6b84dcb6704de0b5cb251fc71b188b1180e6 (patch) | |
| tree | 7296753d266e2f1ceec8fef8ef7d4638428cbdf2 /gc/doc/gc.man | |
| parent | [w3m-dev 02854] highlight for incremental search (diff) | |
| download | w3m-d4cc6b84dcb6704de0b5cb251fc71b188b1180e6.tar.gz w3m-d4cc6b84dcb6704de0b5cb251fc71b188b1180e6.zip | |
[w3m-dev 02855]
* main.c (dispincsrch): for C-s C-s, revert some changes
From: Fumitoshi UKAI <ukai@debian.or.jp>
Diffstat (limited to 'gc/doc/gc.man')
0 files changed, 0 insertions, 0 deletions