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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions