Skip to content

Refresh explorer when switching perspective and git pull, fixes #3619 #651

Refresh explorer when switching perspective and git pull, fixes #3619

Refresh explorer when switching perspective and git pull, fixes #3619 #651

Annotations

2 warnings

build

succeeded Oct 14, 2024 in 1m 25s