remove dubious unicode character warnings for 𝕏 #6

Merged
n merged 1 commit from x into main 2024-02-03 23:00:26 +01:00

1 commit

Author SHA1 Message Date
n
923b0c9526
remove dubious unicode character warnings for 𝕏 2024-02-03 22:58:54 +01:00