fix problem with downloaded plugin file name
commit5ea352c988129c3f6f8fe637b34bd84ff0201b57
authorEugene Zhuravlev <jeka@jetbrains.com>
Mon, 16 Jan 2006 12:13:58 +0000 (16 15:13 +0300)
committerEugene Zhuravlev <jeka@jetbrains.com>
Mon, 16 Jan 2006 12:13:58 +0000 (16 15:13 +0300)
treea0a18c27fc1b6853d51da388ffa66bbf8bdfd0d2
parentfeda08e2945bb43e2c18afaa601bc00da240b8c9
fix problem with downloaded plugin file name
plugins-management/src/com/intellij/ide/plugins/RepositoryHelper.java