commit | ba64ff244855178b99bed603b98d707f2f3eec00 | [log] [tgz] |
---|---|---|
author | Daniel StrĂ¼ber <strueber@mathematik.uni-marburg.de> | Fri May 18 12:46:24 2018 +0200 |
committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri May 18 06:47:31 2018 -0400 |
tree | 61e6d8b0becc6e2aa7031ce8bec9244573b923f6 | |
parent | 68fb168c34b759bf246ff49dd36b30fc40232869 [diff] |
Clean up interface for Henshin2HenshinText trafo Change-Id: I5544c1e2281ac536d9ca069bac72741bbbdf70ef