MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-05 08:06:56 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
3756ef2117b91a0ef3c6dcc87fa9edb8107d3555
openide/python/ide
History
Roman Shevchenko 321cc8aae2 [ui] ensuring uniform capitalization of status bar widget names 
+ cleanup (warnings; formatting)

GitOrigin-RevId: 79e5475ef0767f7ecfe19d4837595276dc62ff2d
2022-09-08 17:07:41 +00:00
..
impl
[ui] ensuring uniform capitalization of status bar widget names
2022-09-08 17:07:41 +00:00
resources/META-INF
…