chore: use text variant of ✝︎

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

158 stars 48 forks source link

Closed joneugster closed 3 weeks ago

joneugster commented 1 month ago

following leanprover/lean4#5174 use text-variant selector for ✝︎.