This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-04-18 20:41:22 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
ae57c80650855eec8b765575b19296fa5b2c25d8
openide
/
python
/
pluginResources
/
messages
History
Nikita Pavlenko
5fbfd19134
[pycharm] PackageManager (fix): "Delete Package", "Reload All Repositories" and "Manage Repositories" actions will not be disabled duting indexing. #PY-49280 Fixed
...
GitOrigin-RevId: d1f1cf553dd4c01fc3fe900bd55a228ec599db90
2024-05-30 15:16:09 +00:00
..
PyBundle.properties
[pycharm] PackageManager (fix): "Delete Package", "Reload All Repositories" and "Manage Repositories" actions will not be disabled duting indexing. #PY-49280 Fixed
2024-05-30 15:16:09 +00:00