mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 12:14:37 +07:00
+ get rid of python plugin without auxiliary plugins inside GitOrigin-RevId: 4a74b542be95aa012b7d74755bfffab21c8c0cfe
+ get rid of python plugin without auxiliary plugins inside GitOrigin-RevId: 4a74b542be95aa012b7d74755bfffab21c8c0cfe