mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
- Set `quickfix.ranking.ml` registry key default to ENABLED. (cherry picked from commit 558dbb7b5c453032a75b1340d261dc0c86388a2d) IJ-CR-170347 GitOrigin-RevId: 7deb92f984ab8dea1b27e3b8d0d011aeb50a8c2b