Skip to content

Rename KICSCommentRgxp identifiers to DDCommentRgxp and clean up kics comments#177

Merged
whitemerch merged 5 commits into
mainfrom
chakib.hamie/cleanup_kics_identifiers_and_comments
Jun 3, 2026
Merged

Rename KICSCommentRgxp identifiers to DDCommentRgxp and clean up kics comments#177
whitemerch merged 5 commits into
mainfrom
chakib.hamie/cleanup_kics_identifiers_and_comments