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.

Sign up for GitHub

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

Jump to bottom

Some suggestions for the Search help feature #2234

Merged
merged 6 commits into from
Jul 4, 2024
Merged

Some suggestions for the Search help feature #2234

merged 6 commits into from
Jul 4, 2024

Commits on Jul 2, 2024

  1. suggestions

    @theosanderson
    theosanderson committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    e22ea93 View commit details
    Browse the repository at this point in the history

  2. fade icon

    @theosanderson
    theosanderson committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    f8cd758 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Merge branch 'search' into search2

    @theosanderson
    theosanderson authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    996dc43 View commit details
    Browse the repository at this point in the history

  2. merge in text changes

    @theosanderson
    theosanderson authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    6153903 View commit details
    Browse the repository at this point in the history

  3. update test

    @theosanderson
    theosanderson authored Jul 4, 2024
    Configuration menu
    Copy the full SHA
    2648cac View commit details
    Browse the repository at this point in the history

  4. Automated code formatting

    Loculus bot committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    b78e663 View commit details
    Browse the repository at this point in the history