Skip to content

fix: unicode file paths displayed as URI-encoded in the infoview#760

Open
kuotsanhsu wants to merge 1 commit into
leanprover:masterfrom
kuotsanhsu:master
Open

fix: unicode file paths displayed as URI-encoded in the infoview#760
kuotsanhsu wants to merge 1 commit into
leanprover:masterfrom
kuotsanhsu:master

fix: unicode file paths displayed as URI-encoded in the infoview

781f50c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs