Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

upgrade: add web search! #40

Merged
merged 8 commits into from
Nov 30, 2023
Merged

upgrade: add web search! #40

merged 8 commits into from
Nov 30, 2023

Commits on Nov 30, 2023

  1. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    681acaf View commit details
    Browse the repository at this point in the history
  2. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    719ba51 View commit details
    Browse the repository at this point in the history
  3. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7f08efc View commit details
    Browse the repository at this point in the history
  4. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    b0fdc56 View commit details
    Browse the repository at this point in the history
  5. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    c9f3ac6 View commit details
    Browse the repository at this point in the history
  6. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    e666813 View commit details
    Browse the repository at this point in the history
  7. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    710a41d View commit details
    Browse the repository at this point in the history
  8. cr

    jerryjliu committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    eba2385 View commit details
    Browse the repository at this point in the history