mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-07-11 00:22:35 +07:00
f05cd24dfe
process further when package-info doesn't correspond any package