tree 33f2ebf45ade93adfc0ec8da048c90cad63a5ab4
parent 3dfb55dd42470432de625b00909287b38b886f1e
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1285282031 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1285282031 +0000

correction of the previous correction: debug.ui does have a change (fup of OTTypeHierarchies) in 0.7.1