Skip to content
This repository was archived by the owner on Jan 18, 2026. It is now read-only.

Lint configure_quick.sh#880

Merged
erazemk merged 1 commit intomasterfrom
lint
Oct 3, 2019
Merged

Lint configure_quick.sh#880
erazemk merged 1 commit intomasterfrom
lint

Conversation

@erazemk
Copy link
Copy Markdown
Member

@erazemk erazemk commented Oct 3, 2019

Description

configure_quick.sh has been linted.

Pull request checklist

  • I have tested my code
  • I have read the contributing guide
  • I have followed best practices and commented my code well

@erazemk erazemk merged commit 48a21aa into master Oct 3, 2019
@erazemk erazemk deleted the lint branch October 3, 2019 07:01
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.

1 participant