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

Development: Fix diverging translations #9471

Merged
merged 7 commits into from
Oct 18, 2024

Commits on Oct 13, 2024

  1. Add tooltips and i18n

    iyannsch committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    3f34396 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1bda254 View commit details
    Browse the repository at this point in the history
  3. Fix english files

    iyannsch committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    2ff20da View commit details
    Browse the repository at this point in the history
  4. Fix german files

    iyannsch committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    03f5edf View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. Apply suggestions from code review

    Co-authored-by: Benedikt Fein <[email protected]>
    Co-authored-by: Tim Cremer <[email protected]>
    3 people authored Oct 14, 2024
    Configuration menu
    Copy the full SHA
    7c4450c View commit details
    Browse the repository at this point in the history
  2. Fix faulty iris exercise key

    iyannsch committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    fce38c1 View commit details
    Browse the repository at this point in the history
  3. Merge main

    iyannsch committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    b4a40a1 View commit details
    Browse the repository at this point in the history