mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
...for consistency with the naming scheme (IDEA-229829). Also the properties file is moved to java.debugger module (IDEA-209382). This way it'll be also suggested by default when internationalizing messages in java.debugger module. GitOrigin-RevId: 41da8f21d6515fc75c3f7af807bf8aa215dbc4c7