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 /shell.nix | |
| 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 'shell.nix')
0 files changed, 0 insertions, 0 deletions