mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
* will be used by the Process Tool Window to show the context of the executed command Merge-request: IJ-MR-176530 Merged-by: Vitaly Legchilkin <Vitaly.Legchilkin@jetbrains.com> GitOrigin-RevId: 70d41845943b5c19b0647ef4711b16f48c53b28c