diff options
| author | Olivier Constant | 2017-05-17 11:32:06 +0000 |
|---|---|---|
| committer | Olivier Constant | 2017-09-19 15:13:25 +0000 |
| commit | bb8ebabeeff737fce3061b7da88507db9e6549af (patch) | |
| tree | ac5fe91d6a3473e0365699c1d25ac73313999751 /plugins/org.eclipse.emf.diffmerge.ui/icons | |
| parent | 5668236ccc62944ed10bf77bceff269ebaf4646c (diff) | |
| download | org.eclipse.emf.diffmerge.core-bb8ebabeeff737fce3061b7da88507db9e6549af.tar.gz org.eclipse.emf.diffmerge.core-bb8ebabeeff737fce3061b7da88507db9e6549af.tar.xz org.eclipse.emf.diffmerge.core-bb8ebabeeff737fce3061b7da88507db9e6549af.zip | |
Bug 516801 - Allow restarting a comparison with different settings
Change-Id: Id5af66187b4ef3c4174e801c74fc0c64be49ba31
Signed-off-by: Olivier Constant <olivier.constant@thalesgroup.com>
Diffstat (limited to 'plugins/org.eclipse.emf.diffmerge.ui/icons')
| -rw-r--r-- | plugins/org.eclipse.emf.diffmerge.ui/icons/full/update.gif | bin | 0 -> 336 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.diffmerge.ui/icons/full/update.gif b/plugins/org.eclipse.emf.diffmerge.ui/icons/full/update.gif Binary files differnew file mode 100644 index 00000000..1b724a67 --- /dev/null +++ b/plugins/org.eclipse.emf.diffmerge.ui/icons/full/update.gif |
