diff options
Diffstat (limited to 'extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/icons/checked.gif')
| -rw-r--r-- | extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/icons/checked.gif | bin | 0 -> 343 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/icons/checked.gif b/extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/icons/checked.gif Binary files differnew file mode 100644 index 00000000000..9cacb96dca9 --- /dev/null +++ b/extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/icons/checked.gif |