tree a6b02c2c55932a8b7cd7c57884e5e6467fb381b7
parent 7513d57aa63dd1aa0d3770a6194a8c97eef5e47d
author mkersten <> 1134099667 +0000
committer mkersten <> 1134099667 +0000

Progress on: Bug 119557: Tasklist data doesn't change when changing workspace
https://bugs.eclipse.org/bugs/show_bug.cgi?id=119557