mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-23 07:39:39 +07:00
then progress would be possible when needed, otherwise freeze would be possible GitOrigin-RevId: 0ec24a8c7bd69233a3f8086e72badb615068380f