openide/plugins/devkit/intellij.devkit.themes at 29073685cd776385b028f0468beb50082f04c2fd - openide - Gitea

MDS/openide

mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00

Files

History

Dmitry Krasilschikov b916c23b7f IDEA-308859 refactor com.intellij.ui.EditorNotifications.Provider to com.intellij.ui.EditorNotificationProvider

GitOrigin-RevId: fdb46c0f4b0afd8ad75b81fdb8ce00613a925b87

2022-12-19 14:44:55 +00:00

..

…

IDEA-308859 refactor com.intellij.ui.EditorNotifications.Provider to com.intellij.ui.EditorNotificationProvider

2022-12-19 14:44:55 +00:00

…

intellij.devkit.themes.iml

…