mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
+ Comment about taken approach from another platform class + Report all new/opened projects even if the option is disabled GitOrigin-RevId: 39a0180707e315e82f427250650ed9af12616aa9