| commit | 5d36bacb8468df6b355420d6cb1d4df6e761dfbb | [log] [tgz] |
|---|---|---|
| author | Erwan Mahe <erwan.mahe@cea.fr> | Wed Jan 18 15:57:38 2017 +0100 |
| committer | Arnault Lapitre <arnault.lapitre@cea.fr> | Wed Jan 18 11:05:30 2017 -0400 |
| tree | 567da6856f2d1fe36947ddc6d257bb49fd09c00c | |
| parent | 92dca52caa8ae9abd63966923cb634f25d8492a6 [diff] |
Bug 510636 Corrected formalML Profile Extension configuration in org.eclipse.efm.formalml Change-Id: I913bb20942e7c0a0337290f41f7774c048ddd1c8 Change-Id: I913bb20942e7c0a0337290f41f7774c048ddd1c8 Signed-off-by: Erwan Mahe <erwan.mahe@cea.fr>