IDEADEV-41365 Refreshing available plugins list duplicated entries
commit3112144d8a68d7fa11945d4fb6163916e14e1630
authorDmitry Jemerov <yole@jetbrains.com>
Fri, 13 Nov 2009 17:49:44 +0000 (13 20:49 +0300)
committerDmitry Jemerov <yole@jetbrains.com>
Thu, 3 Dec 2009 15:29:51 +0000 (3 18:29 +0300)
treec57f361086af0677ef8f2dfd60bdef59d798d837
parente8f38b4489f88fe24129eb925cb91067baf6366b
IDEADEV-41365 Refreshing available plugins list duplicated entries
platform/platform-impl/src/com/intellij/ide/plugins/AvailablePluginsTableModel.java