diff options
author | Nemo Inis <nemoinis@hotmail.com> | 2018-12-21 12:16:48 +0000 |
---|---|---|
committer | Tatsuya Kinoshita <tats@debian.org> | 2018-12-21 12:16:48 +0000 |
commit | 13c0ff556759662b67c20fc12b9d31f041024da2 (patch) | |
tree | 64fb4897ca5ed44f06b85f25ff099ffa9f486f5a /doc/menu.submenu | |
parent | Update ChangeLog (diff) | |
download | w3m-13c0ff556759662b67c20fc12b9d31f041024da2.tar.gz w3m-13c0ff556759662b67c20fc12b9d31f041024da2.zip |
w3mman support for section number during keyword search
Origin: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916968#5
Diffstat (limited to 'doc/menu.submenu')
0 files changed, 0 insertions, 0 deletions