Fix case sensitivity when providing completions for paths#2059
Merged
jeremypw merged 8 commits intomasterfrom fix-completion-caseFeb 23, 2023
+73-58
Commits
Commits on Jun 27, 2022
- committed
Jeremy Wootten - committedJeremy Wootten
- committedJeremy Wootten
- committedJeremy Wootten
Commits on Jun 28, 2022
- authoredJeremy Wootten
Commits on Jul 3, 2022
- authoredJeremy Wootten
Commits on Aug 7, 2022
- authoredJeremy Wootten
Commits on Feb 19, 2023
- authoredJeremy Wootten