mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
For 3.3+ we now use new api. We also use "-W error" in tests to make sure no warning issued GitOrigin-RevId: a668da71d8705f061873a4b2c09a4fc3f0082472