Skip to content

Add eslint#225

Merged
david-crespo merged 5 commits into
mainfrom
lint-things
Dec 2, 2023
Merged

Add eslint#225
david-crespo merged 5 commits into
mainfrom
lint-things

Conversation

@david-crespo

@david-crespo david-crespo commented Dec 2, 2023

Copy link
Copy Markdown
Collaborator

I could have sworn we had some reason for not doing this but it seems just fine. Added because of my typo in #224 (fixed in a11b939).

@david-crespo

Copy link
Copy Markdown
Collaborator Author

Nice, it works. I left that lint error in there on purpose.

@david-crespo david-crespo merged commit 4595cbb into main Dec 2, 2023
@david-crespo david-crespo deleted the lint-things branch December 2, 2023 06:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant