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

Adding LabelOptional rule #173

Merged
merged 8 commits into from
Feb 3, 2024
Merged

Adding LabelOptional rule #173

merged 8 commits into from
Feb 3, 2024

Commits on Feb 3, 2024

  1. Adding LabelOptional rule

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    1105e8a View commit details
    Browse the repository at this point in the history

  2. Adding type, generating grammar

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    6f42887 View commit details
    Browse the repository at this point in the history

  3. Semicolon missing

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    d1cb7cd View commit details
    Browse the repository at this point in the history

  4. Regenerating grammar

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    bfd0fb9 View commit details
    Browse the repository at this point in the history

  5. Try string

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    0ccf647 View commit details
    Browse the repository at this point in the history

  6. And regenerate grammar

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    544c059 View commit details
    Browse the repository at this point in the history

  7. Label now optional

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    684fdd2 View commit details
    Browse the repository at this point in the history

  8. Now also optional for edge tables

    @Dtenwolde
    Dtenwolde committed Feb 3, 2024
    Configuration menu
    Copy the full SHA
    b47a158 View commit details
    Browse the repository at this point in the history