mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
Sometimes it's not evident why quick update-to-date check doesn't work, and the build process falls back to the regular build. This additional logging should help to understand that. GitOrigin-RevId: c272a31463503cf1c77b8556eaa4c4c76f726d67