Skip to content

Remove unused stuff#167

Merged
ScriptRaccoon merged 3 commits into
mainfrom
cleanup-stuff
May 11, 2026
Merged

Remove unused stuff#167
ScriptRaccoon merged 3 commits into
mainfrom
cleanup-stuff

Conversation

@ScriptRaccoon
Copy link
Copy Markdown
Owner

@ScriptRaccoon ScriptRaccoon commented May 11, 2026 •
edited
Loading

  1. Remove unused variables and imports, and enforce this with a TS setting
  2. Remove redundant implication
  3. Combine two implications for thin categories into one

@ScriptRaccoon ScriptRaccoon changed the title Cleanup stuff Remove unused stuff May 11, 2026
@ScriptRaccoon ScriptRaccoon merged commit 6ab819c into main May 11, 2026
1 check passed
@ScriptRaccoon ScriptRaccoon deleted the cleanup-stuff branch May 11, 2026 16:44
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

refactor

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ScriptRaccoon