MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 15:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

[docker] devcontainers: hide devcontainers in gateway under advanced settings flag

Browse Source 
GitOrigin-RevId: 0004688b54e87ea6c03ce54374c7a9250f836d3d
This commit is contained in:
Andrii Zinchenko
2023-07-07 19:15:39 +02:00
committed by intellij-monorepo-bot
parent 4d6ec65e4d
commit 56128f71f7
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platform/util/resources/misc/registry.properties
View File

@@ -1530,8 +1530,6 @@ gradle.auto.auto.jdk.fix.disabled.description=Disable attempt to fix unknown JDK
application.deactivation.timeout=1500
docker.devcontainers=true
docker.devcontainers.description=Enable Docker Dev Containers integration in the Gateway
docker.devcontainers.use.separate.project.panel=false
docker.devcontainers.use.separate.project.panel.description=Use separate project panel for configuration