mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 01:09:46 +07:00
Use `ExecService` `api.kt` to exec any binary and extensions from `execService.python/api.kt` for python-specific things (i.e helpers) GitOrigin-RevId: bb217798a9d1ee886c4b12220ec1f66a5ef08336
6 lines
198 B
INI
6 lines
198 B
INI
py.exec.defaultName.process=Process {0}
|
|
|
|
python.get.version.error={0} returned error: {1}
|
|
python.get.version.too.long={0} took too long
|
|
python.get.version.wrong.version={0} has a wrong version: {1}
|