-
Philip Makedonski authored
*refined handling of enums Change-Id: I98757b76702731287e6c04114c7851b86071e62e Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>
ab8f83f4
*refined handling of enums
Change-Id: I98757b76702731287e6c04114c7851b86071e62e
Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>