diff options
author | Pascal Kuthe | 2023-02-02 17:14:02 +0000 |
---|---|---|
committer | GitHub | 2023-02-02 17:14:02 +0000 |
commit | 6ed2348078a331bc2039a313bd7ad9f0bb1a00c2 (patch) | |
tree | 5382d34d59def4d84a2e3455f4cbd4b1f66ff961 /runtime/grammars | |
parent | 62d046fa219b927c536bf6726fcae1e825346e0e (diff) |
Hide duplicate symlinks from the picker (#5658)
* hide duplicate symlinks from the picker
* Apply suggestions from code review
Co-authored-by: g-re-g <123515925+g-re-g@users.noreply.github.com>
* minor stylistic fix
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
---------
Co-authored-by: g-re-g <123515925+g-re-g@users.noreply.github.com>
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'runtime/grammars')
0 files changed, 0 insertions, 0 deletions