diff options
author | Yuchen Pei <id@ypei.org> | 2023-07-24 13:58:09 +1000 |
---|---|---|
committer | Yuchen Pei <id@ypei.org> | 2023-07-24 13:58:09 +1000 |
commit | 7cea566a9616f1300cfc2728acf664ac5bd89bd8 (patch) | |
tree | ae65e5d7d160bca38a6783f791a3ac8dbc620aa0 /wiki-markup.el | |
parent | 78672bd3ccd71e36cd99d57b244213a37a8bf32e (diff) |
Add search.
- For mediawiki sites, use API search.
- For non-mediawiki sites, use eww.
- Now it depends on a new library `generic-search.el'.
Diffstat (limited to 'wiki-markup.el')
0 files changed, 0 insertions, 0 deletions