mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
* corrected notification text * changed help id for more precise linking (cherry picked from commit b466ce466ce6d878e71862646f6088c631f2fde5) IJ-MR-123213 GitOrigin-RevId: 09336eaa1f20a799b40d38c66e60cb53a5a1fc85