Message379207
Apparently it's at least a possibility on DDG's side (https://duckduckgo.com/search_box), don't know how easy it'd be to integrate in sphinx, or whether a hard dependency on an external search engine is acceptable / desirable. |
|
Date |
User |
Action |
Args |
2020-10-21 13:36:39 | xmorel | set | recipients:
+ xmorel, methane, docs@python |
2020-10-21 13:36:39 | xmorel | set | messageid: <1603287399.56.0.629063090216.issue42106@roundup.psfhosted.org> |
2020-10-21 13:36:39 | xmorel | link | issue42106 messages |
2020-10-21 13:36:39 | xmorel | create | |
|