mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
Since GitActionIdsHolder update (cherry picked from commit d9585d217159bf8d02f9731e1291f84538b81efd) (cherry picked from commit c80fc407a70edbdce80dab02fd10055b77e9aa80) IJ-MR-150633 GitOrigin-RevId: 5c0bf2145c8422933af0d697c0919bc595a51329