mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
The list of removed interpreters that were detected at the same time was confusing to users since its state was hidden with no ability to revert an interpreter to become detected, but not added.