mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 05:21:29 +07:00
This is needed to structure progress messages, without that it's not possible to find out to which target a particular ProgressMessage belongs, because different target may be built in parallel. This is needed to fix IDEA-195662 properly.