mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 08:00:18 +07:00
Nikolay Chashnikovandintellij-monorepo-bot
c3d006d45e
These modules and their classes don't have external usages, so they shouldn't be made 'public' at least for now. The 'namespace' is also set to 'jetbrains' for plugins which contain such modules or modules which use them to allow 'internal' visibility to work. GitOrigin-RevId: 198007e49320075dc27faadde6963e98332296a4
11 lines
528 B
XML
11 lines
528 B
XML
<!-- Copyright 2000-2024 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. -->
|
|
<idea-plugin visibility="internal">
|
|
<!--Community only, never professional: both plugin and DS -->
|
|
<dependencies>
|
|
<module name="intellij.python.community.impl"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="com.jetbrains.python.console">
|
|
<runnerFactory implementation="com.intellij.python.community.communityOnly.CommunityPydevConsoleRunnerFactory"/>
|
|
</extensions>
|
|
</idea-plugin>
|