commit: 726a3edce0f0eac1cd598fd736387f70ee965a57
[log]
author: Arnault Lapitre <arnault.lapitre@cea.fr>
Wed Feb 15 11:35:16 2017 +0100
committer: Arnault Lapitre <arnault.lapitre@cea.fr>
Wed Feb 15 11:35:16 2017 +0100
tree: 2c80b8e29161409f2c41ca2ae14eb837b4fb5f41
parent: 09972dada48d55e195f40d68d460e783ca9b1fbc [diff]

Bug 511757
Replace "play.gif" by "run_exc.gif"
Replace "modelExplorer.gif" by "graph.ico"

Change-Id: I3123b6f6c4bf0f68126e9e05a8552530549589de
Signed-off-by: Arnault Lapitre <arnault.lapitre@cea.fr>

gui/org.eclipse.efm.runconfiguration/plugin.xml[diff]
gui/org.eclipse.efm.ui.resources/icons/graph.ico[Added - diff]
gui/org.eclipse.efm.ui.resources/icons/modelExplorer.gif[Deleted - diff]
gui/org.eclipse.efm.ui.resources/icons/play.gif[Deleted - diff]
gui/org.eclipse.efm.ui.resources/icons/run_exc.gif[Added - diff]

5 files changed

tree: 2c80b8e29161409f2c41ca2ae14eb837b4fb5f41

README.md

EFM : Eclipse Formal Modeling