diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-05 12:50:45 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-05 12:50:45 +0100 |
| commit | ac0c757e4680c992123d18a604765c6cbc3c000b (patch) | |
| tree | 2594e941d87e4de356fbda39a027ad61edeb7264 /.github | |
| parent | dc3175e4cdb4e54e1c6200b6c4d07646eea95284 (diff) | |
| parent | bf74ff94c8451de071a6a85f39ab37edc6ef431b (diff) | |
Merge pull request #70880 from KoBeWi/remotely_useful
Improve remote tree node tooltips
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions