mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 15:06:56 +07:00
[jps caches] WIP on move to JPS
GitOrigin-RevId: eaa1fdc8c97c09f7b70d043463509d845de1875d
This commit is contained in:
committed by
intellij-monorepo-bot
parent
cb74c77509
commit
7da2e4d6a9
@@ -329,3 +329,7 @@ dialog.message.failed.to.determine.host.ip.for.wsl.jdk=Failed to determine host
|
||||
progress.preparing.wsl.build.environment=Preparing WSL build environment...
|
||||
plugins.advertiser.feature.artifact=artifact
|
||||
notification.group.compiler=Build finished
|
||||
|
||||
notification.title.jps.caches.downloader=Jps caches downloader
|
||||
notification.content.internal.authentication.plugin.required.for.correct.work.plugin=<a href="https://plugins.jetbrains.com/plugin/14567-jetbrains-internal-authentication">JetBrains Internal Authentication</a> is required for the correct work of the plugin
|
||||
internal.authentication.plugin.missing.token=Unexpected state: jetbrains.team token is missing. Please report this exception and perform actions 'Logout from JetBrains.team' and 'Login to JetBrains.team' as a workaround
|
||||
Reference in New Issue
Block a user