chore: bump @leanprover/unicode-input to 0.1.12 - #794

chore: bump @leanprover/unicode-input to 0.1.12#794

mhuisi merged 1 commit into

masterleanprover/vscode-lean4:masterfrom

bump/unicode-input-0.1.12leanprover/vscode-lean4:bump/unicode-input-0.1.12Copy head branch name to clipboard