Skip to content
This repository has been archived by the owner on Jun 15, 2024. It is now read-only.

fix lint #63

Draft
wants to merge 2 commits into
base: main
Choose a base branch
from
Draft

fix lint #63

wants to merge 2 commits into from

Conversation

turadg
Copy link
Member

@turadg turadg commented Apr 5, 2023

Decouples the lint config from Agoric-SDK

ivanlei added a commit that referenced this pull request Apr 6, 2023
ivanlei added a commit that referenced this pull request Apr 6, 2023
@ivanlei ivanlei self-requested a review June 2, 2023 17:00
@ivanlei ivanlei self-assigned this Jun 2, 2023
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.

None yet

2 participants