| commit | f99b41819cc9f86beec6b54bf453173fc2d4acef | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Tue Dec 12 16:15:35 2017 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Tue Dec 12 16:15:35 2017 +0100 |
| tree | 06d37c2a6bc209359a42b7dc3cb59a4e1f78cb7e | |
| parent | 3a01af1d1e29008db4f90f921041541c5833ce0e [diff] |
[528507] Don't delete clone if cloning in GitTask completes successfully https://bugs.eclipse.org/bugs/show_bug.cgi?id=528507