Merge branch 'maint-1.0' into bbb
- maint-1.0: WebSearch: more uses of rg configurable default
Conflicts:
modules/websearch/doc/hacking/search-engine-api.webdoc
modules/websearch/lib/search_engine.py
Tibor Simko <tibor.simko@cern.ch> | Aug 8 2012, 14:15 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
194cf2430ba7 | Tibor Simko | WebSearch: more uses of `rg` configurable default | Aug 8 2012 |