Skip to content

Make rules have titles as well as descriptions#1461

Merged
ajax146 merged 1 commit intomainfrom
RuleTitle
Apr 16, 2026
Merged

Make rules have titles as well as descriptions#1461
ajax146 merged 1 commit intomainfrom
RuleTitle

Conversation

@ajax146
Copy link
Copy Markdown
Contributor

@ajax146 ajax146 commented Apr 16, 2026

No description provided.

@ajax146 ajax146 merged commit 4b8d3f6 into main Apr 16, 2026
5 checks passed
@ajax146 ajax146 deleted the RuleTitle branch April 16, 2026 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant