Skip to content

refactor addSuggestions#4

Merged
wellecks merged 2 commits intowellecks:masterfrom
kim-em:simplify_tryThese
Aug 21, 2023
Merged

refactor addSuggestions#4
wellecks merged 2 commits intowellecks:masterfrom
kim-em:simplify_tryThese

Conversation

@kim-em
Copy link
Copy Markdown
Contributor

@kim-em kim-em commented Aug 18, 2023

These should make it easier to upstream.

(Apologies about the whitespace changes, I can revert those if desired. Most Lean projects have a .vscode/settings.json containing

{
  "editor.insertSpaces": true,
  "editor.tabSize": 2,
  "editor.rulers" : [100],
  "files.encoding": "utf8",
  "files.eol": "\n",
  "files.insertFinalNewline": true,
  "files.trimFinalNewlines": true,
  "files.trimTrailingWhitespace": true,
}

@kim-em kim-em mentioned this pull request Aug 18, 2023
Merged
@wellecks
Copy link
Copy Markdown
Owner

wellecks commented Aug 18, 2023 •
edited
Loading

The three PRs look great, thank you! I will merge them in soon

@wellecks wellecks merged commit 6c6d151 into wellecks:master Aug 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@kim-em @wellecks