Google GitGoogle Git
Sign in
eclipse/efm/org.eclipse.efm-modeling/5d36bacb8468df6b355420d6cb1d4df6e761dfbb
commit
5d36bacb8468df6b355420d6cb1d4df6e761dfbb
[log]
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>
1 file changed
tree: 567da6856f2d1fe36947ddc6d257bb49fd09c00c
  1. codegen/
  2. core/
  3. diagram/
  4. doc/
  5. editor/
  6. gui/
  7. releng/
  8. src/
  9. targetplatform/
  10. workspace/
  11. .gitignore
  12. .project
  13. about.html
  14. CHANGELOG.md
  15. CONTRIBUTING.md
  16. pom.xml
  17. README.md
  18. ROADMAP.md
  19. TODO.md
README.md

EFM : Eclipse Formal Modeling