commit | 3ed61287e18afccb81e47caee52503574d936bf9 | [log] [tgz] |
---|---|---|
author | David Green <david.green@tasktop.com> | Thu Mar 10 11:15:26 2011 -0800 |
committer | David Green <david.green@tasktop.com> | Thu Mar 10 11:15:26 2011 -0800 |
tree | 1db110574011dd088a7d58cf07cbebd82ce5ba68 | |
parent | c0d1bdfdcf3c3e0f2707dc2da354707ad4580452 [diff] |
bug 330876: Disabling WikiText menu element https://bugs.eclipse.org/bugs/show_bug.cgi?id=330876