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

Improve search #320

Merged
merged 18 commits into from
Aug 10, 2023
Merged

Improve search #320

merged 18 commits into from
Aug 10, 2023

Commits on Aug 7, 2023

  1. Fix logo reference

    josephdecock committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    f233998 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9c8e950 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    617479a View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    cbc155b View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    34a5813 View commit details
    Browse the repository at this point in the history
  6. Simplify search code

    josephdecock committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    d048fa1 View commit details
    Browse the repository at this point in the history
  7. more styles

    josephdecock committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    3c8c321 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    a8ecddd View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    903661d View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    3cca453 View commit details
    Browse the repository at this point in the history
  11. Fix event binding bug

    josephdecock committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    2fa1b59 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    9098e24 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    639f5ff View commit details
    Browse the repository at this point in the history
  14. Add some descriptions

    josephdecock committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    60ac1eb View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. More page descriptions

    josephdecock committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    328f522 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d46e2eb View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7eedbe9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    bf0a0c1 View commit details
    Browse the repository at this point in the history