commit | fbb15868329a98c58e38876538636eb99ad66f27 | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Wed Jun 24 08:13:19 2020 -0400 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Wed Jun 24 08:13:19 2020 -0400 |
tree | 9ac34d212f9a316b0bc69ed6af2b93a8ac78ba15 | |
parent | 33878aaa6fa69666a248acbc471498e3db717f47 [diff] | |
parent | 24bd4495f7c9f2a84c57065a03751eb75f371695 [diff] |
Merge "Add Henshin Compact API"