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

Add support for Mojo #10743

Merged
merged 5 commits into from
May 15, 2024
Merged

Add support for Mojo #10743

merged 5 commits into from
May 15, 2024
+272 −0

Commits on May 12, 2024

  1. Add support for Mojo

    @dmitry-salin
    dmitry-salin committed May 12, 2024
    Configuration menu
    Copy the full SHA
    a057d37 View commit details
    Browse the repository at this point in the history

  2. Update grammar

    @dmitry-salin
    dmitry-salin committed May 12, 2024
    Configuration menu
    Copy the full SHA
    7957aa2 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Fix queries

    @dmitry-salin
    dmitry-salin committed May 14, 2024
    Configuration menu
    Copy the full SHA
    96812a2 View commit details
    Browse the repository at this point in the history

  2. Fix docs

    @dmitry-salin
    dmitry-salin committed May 14, 2024
    Configuration menu
    Copy the full SHA
    2d0404a View commit details
    Browse the repository at this point in the history

  3. Use inheritance for some files

    @dmitry-salin
    dmitry-salin committed May 14, 2024
    Configuration menu
    Copy the full SHA
    9b05bfc View commit details
    Browse the repository at this point in the history