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 12:31:26 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
009e515c58e7ebee3af9f133c23151bbc8de646a
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