diff options
author | John Dallaway | 2022-07-25 14:44:09 +0000 |
---|---|---|
committer | John Dallaway | 2022-07-26 07:22:58 +0000 |
commit | 7c6bd5bdcb4cf8c31050aeeb102250a27a157728 (patch) | |
tree | d1f05942df7b6dfeb0f6a8d894e0b2fa019eba9e /build/org.eclipse.cdt.managedbuilder.gnu.ui/src/org | |
parent | 96839a029d7de3016bd63787a55b1095d7806d4b (diff) | |
download | org.eclipse.cdt-7c6bd5bdcb4cf8c31050aeeb102250a27a157728.tar.gz org.eclipse.cdt-7c6bd5bdcb4cf8c31050aeeb102250a27a157728.tar.xz org.eclipse.cdt-7c6bd5bdcb4cf8c31050aeeb102250a27a157728.zip |
Eliminate ResourceException by avoiding processing a deleted source
folder resource as a modified resource.
Change-Id: Icfa10040d4d3c6c06b2a4c040e7b632e94dff324
Diffstat (limited to 'build/org.eclipse.cdt.managedbuilder.gnu.ui/src/org')
0 files changed, 0 insertions, 0 deletions