commit | 3c155bdb049fa8543e32966388fda75ea3e2cbd8 | [log] [tgz] |
---|---|---|
author | kborn <kristopherborn@gmx.de> | Fri Feb 17 08:04:35 2017 +0100 |
committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri Feb 17 03:15:50 2017 -0400 |
tree | 42fcc4d3681ca81099c2dec49e6dcd00dc8e4a07 | |
parent | dfa8a4a22cb70f9d7019473db0e033bb22f0391c [diff] |
fixed typos and adapted code style to henshin formatter style Change-Id: Ie5db07af6d0c2f746e6284c32cdf24c6c1ae2157 Signed-off-by: kborn <kristopherborn@gmx.de>