MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-18 04:21:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

cleanup [python]: remove unused symbol, hide symbols not used by external plugins

Browse Source 
GitOrigin-RevId: e5728587e408460009fa5c59fb2a1b0bcd7463a6
This commit is contained in:
Ilya.Kazakevich
2026-02-04 15:32:08 +01:00
committed by intellij-monorepo-bot
parent 96577d6c07
commit c797dcc7bc
41 changed files with 84 additions and 266 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/python-sdk/src/com/jetbrains/python/run/CommandLinePatcher.java
View File

@@ -16,8 +16,10 @@
package com.jetbrains.python.run;
import com.intellij.execution.configurations.GeneralCommandLine;
import org.jetbrains.annotations.ApiStatus;
public interface CommandLinePatcher {
@ApiStatus.Internal
void patchCommandLine(GeneralCommandLine commandLine);
}