Skip to content

Workspace: Rename files/folder is case sensitive#9709

Merged
paul-marechal merged 1 commit intoeclipse-theia:masterfrom OmarSdt-EC:os/fix_caseInsensitiveAug 4, 2021

Commits

Commits on Aug 4, 2021