MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

question added (IDEA-93092)

Browse Source
This commit is contained in:
anna
2012-10-17 15:50:01 +02:00
parent b9561b9575
commit d993104e6c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/messages/IdeBundle.properties
+1 -1
View File
@@ -943,7 +943,7 @@ scope.unable.to.save.scope.message=Do you want to save scope as shared?
scope.unable.to.save.scope.title=Unable to use local scope
predefined.scope.production.name=Production
plugin.manager.dependencies.detected.title=Plugin Dependencies Detected
plugin.manager.dependencies.detected.message=The plugin you want to install requires other plugin{0, choice, 1#|2#s} ({1}) which have to be installed as well.
plugin.manager.dependencies.detected.message=The plugin you want to install requires other plugin{0, choice, 1#|2#s} ({1}) which have to be installed as well. Proceed?
plugin.manager.optional.dependencies.detected.message=The plugin you want to install optionally requires other plugin{0, choice, 1#|2#s} ({1}). Should those be installed as well?
message.server.no.licenses=No suitable licenses left on the license server
title.server.no.licenses=No Licenses on Server