+ added some basic scope handling for TO
Change-Id: Ib5cfeeea65600ed754c5df17e7ccf91ebb46e6a5
Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>
parent
c8d748f4
Please register or sign in to comment
Change-Id: Ib5cfeeea65600ed754c5df17e7ccf91ebb46e6a5
Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>