mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-20 20:11:24 +07:00
Ilya.Kazakevichandintellij-monorepo-bot
105554c91d
See `getOr` extension doc. GitOrigin-RevId: 859af221e99f03b99ee2f82e829e83e0f00a9e6d
4 lines
163 B
Properties
4 lines
163 B
Properties
python.get.version.error={0} returned error: {1}
|
|
python.get.version.wrong.version={0} has a wrong version: {1}
|
|
python.cannot.exec=Python {0} could not be executed
|