Skip to content
This repository was archived by the owner on Feb 22, 2024. It is now read-only.

Allow lints of pest grammar terminals #28

Merged
merged 1 commit into from
Mar 26, 2021
Merged

Allow lints of pest grammar terminals #28

merged 1 commit into from
Mar 26, 2021

Conversation

glyn
Copy link
Contributor

@glyn glyn commented Mar 26, 2021

Terminals such as EOI and WHITESPACE are objected to by clippy.

@glyn glyn self-assigned this Mar 26, 2021
@glyn glyn requested a review from mkmik March 26, 2021 15:00
Copy link
Member

@mkmik mkmik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, minor comment

Terminals such as EOI and WHITESPACE are objected to by clippy.
@glyn glyn merged commit c0388ea into jsonpath-standard:main Mar 26, 2021
@glyn glyn deleted the lint branch March 26, 2021 15:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants