| commit | 58e3dd3706add6f34bee13bfbfbc4e9df0a1aa2b | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Sep 23 22:47:11 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Sep 23 22:47:11 2010 +0000 |
| tree | 33f2ebf45ade93adfc0ec8da048c90cad63a5ab4 | |
| parent | 3dfb55dd42470432de625b00909287b38b886f1e [diff] |
correction of the previous correction: debug.ui does have a change (fup of OTTypeHierarchies) in 0.7.1