mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 08:09:39 +07:00
It returns only the OS kind, but that info is known in advance. So, it was a redundant networking roundtrip. GitOrigin-RevId: 787cbd7178147b76bc8fc01b67cd901c59d83e54