commit | b8583213903735f8718b5b7296e471c77272a0b1 | [log] [tgz] |
---|---|---|
author | Wim Jongman <wim.jongman@remainsoftware.com> | Wed Dec 19 10:59:04 2012 +0100 |
committer | Wim Jongman <wim.jongman@remainsoftware.com> | Wed Dec 19 10:59:04 2012 +0100 |
tree | 18e5f658d23cde4dd799daa8d10dfb3ad89c4923 | |
parent | fb48437314396d49fec95f0df1546ac4111f2695 [diff] |
bug 396694: Disabled the FilteredTree. https://bugs.eclipse.org/bugs/show_bug.cgi?id=395174