commit | de0d9dea7c3efeb991e86a71439a87ef8f12ceee | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Wed Feb 01 10:29:16 2017 +0100 |
committer | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Wed Feb 01 10:29:16 2017 +0100 |
tree | e3a8570a0d37e0b639743448988437f6c8a30722 | |
parent | 4b770d26cb45194c886de0abdf1e5c8aa8026859 [diff] |
Update HenshinResource to use XMI IDs by default Change-Id: I2049a8c1d98fbfd351d3c548d7355d591ffd0cc7