Skip to content

Uppercase category names in comments#639

Merged
vaitkus merged 2 commits into
COMCIFS:mainfrom
vaitkus:uppercase-category-names-in-comments
Jul 22, 2026
Merged

Uppercase category names in comments#639
vaitkus merged 2 commits into
COMCIFS:mainfrom
vaitkus:uppercase-category-names-in-comments

Conversation

@vaitkus

@vaitkus vaitkus commented Jul 22, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@vaitkus
vaitkus merged commit 528ddd1 into COMCIFS:main Jul 22, 2026
3 checks passed
@vaitkus
vaitkus deleted the uppercase-category-names-in-comments branch July 22, 2026 13:32
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.

2 participants