mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 06:39:38 +07:00
56241ab394
Merge-request: IJ-MR-137368 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> GitOrigin-RevId: 23a7e9d443606b1a9a028c5e3275c6c408c0d796
8 lines
473 B
XML
8 lines
473 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 package="com.intellij.python.community.communityOnly">
|
|
<!--Community only, never professional: both plugin and DS -->
|
|
<extensions defaultExtensionNs="com.jetbrains.python.console">
|
|
<runnerFactory implementation="com.intellij.python.community.communityOnly.CommunityPydevConsoleRunnerFactory"/>
|
|
</extensions>
|
|
</idea-plugin>
|