Skip to content

chore: use emoji variant of unicode characters#936

Merged
kim-em merged 1 commit intoleanprover-community:mainfrom joneugster:eugster/unicode_emoji_1Sep 9, 2024

Commits

Commits on Aug 26, 2024