diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-07-11 15:20:51 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-11 15:20:51 -0400 |
| commit | 161888d9a3dc154261637c019ad152031be9ec8e (patch) | |
| tree | b07dcfea73ec6362395c5d3c3cbaabbb572ba365 /ext/bg/search.html | |
| parent | ec42a7e4d61dc30c2839a7ff7be44bec131127a5 (diff) | |
Remove backend options context (#661)
* Add support for getting the current profile
* Explicitly use current options
Diffstat (limited to 'ext/bg/search.html')
0 files changed, 0 insertions, 0 deletions