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

423 custom rules #432

Merged
merged 13 commits into from
Jul 19, 2024
Merged

423 custom rules #432

merged 13 commits into from
Jul 19, 2024

Commits on Jul 12, 2024

  1. Configuration menu
    Copy the full SHA
    33b835f View commit details
    Browse the repository at this point in the history
  2. Add one-hole contexts

    fizruk committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    b20ae4d View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3afa999 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    ed14395 View commit details
    Browse the repository at this point in the history
  5. Fix warning

    fizruk committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    ff2301c View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    eb365d5 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. Use tail syntax

    fizruk committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    8a350c0 View commit details
    Browse the repository at this point in the history
  2. Ensure fresh attributes

    fizruk committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    9e79118 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c4071f7 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    583944d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    a2ce78e View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    f5363c4 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    cc287a7 View commit details
    Browse the repository at this point in the history