commit | 5d6e440fea942eae1fd474e962d46dd84971769d | [log] [tgz] |
---|---|---|
author | Markus Keller <mkeller> | Wed Jun 02 19:43:11 2010 +0000 |
committer | Markus Keller <mkeller> | Wed Jun 02 19:43:11 2010 +0000 |
tree | 2f8819316bc0f1509ce021531f91c4ccbec1975d | |
parent | 2cfdc43af1abe0354d280874cc7cc6b4bb9a2ec2 [diff] |
Bug 314354: [common navigator] Project Explorer does not refresh on adding/removing library to a project