mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
Without this, I expect it to stay stuck until commits can be fetched. Better to show something early. GitOrigin-RevId: b1ef74d6306981ad177ec08d806600fb5d9cf220