commit | c87604ac82c5ab35af6d57663a924de4cce4220d | [log] [tgz] |
---|---|---|
author | kborn <kristopherborn@gmx.de> | Wed Jun 07 15:40:58 2017 +0200 |
committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Wed Jun 07 09:48:21 2017 -0400 |
tree | 804aa2e0ec5e516e58b09e14570bcd4e94c7627a | |
parent | 3436455e74098bfcfd7e7f1a57c76b2404c92f28 [diff] |
fixed missing 'add annotation' in Henshins tree based editor Change-Id: I72e28b4f3499de50fb79e1e35889892ab7d56ad6 Signed-off-by: kborn <kristopherborn@gmx.de>