+ select edit help template as default (todo:add ui configuration for
selecting templates
+ fix incorrect label for pics selection
+ fix indentation for event sequences
Change-Id: I058f9260062824b385bc8598723b36285695ea83
Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>
Please register or sign in to comment