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

docs: Fix mixed tabs #137

Merged
merged 1 commit into from Apr 28, 2023
Merged

docs: Fix mixed tabs #137

merged 1 commit into from Apr 28, 2023

Conversation

lens0021
Copy link

Replaced with 4 spaces.

Use 4 spaces.
Copy link
Collaborator

@jrfnl jrfnl left a comment

Choose a reason for hiding this comment

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

Thanks for tidying that up! ✅

@jrfnl
Copy link
Collaborator

jrfnl commented Mar 3, 2023

Note for merging: I think we should merge this in both the 1.x as well as develop (2.x) branch.

@grogy grogy merged commit 545ee3c into php-parallel-lint:develop Apr 28, 2023
@grogy
Copy link
Member

grogy commented Apr 28, 2023

Thank you.

Commit was cherry-picked to master (1.x) branch cc6c4a7

@lens0021 lens0021 deleted the patch-1 branch April 29, 2023 01:58
@jrfnl jrfnl modified the milestones: 2.0.0, 1.3.x Next Mar 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

None yet

3 participants