This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-10-14 15:45:27 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
d8d4ababd3640a12c8d32d088ba2bee69182d823
openide
/
python
/
educational-python
/
src
T
History
Dmitry Trofimov
d8d4ababd3
Revert "PY-22514, CPP-8763: Disable unneeded producers for plugins"
...
This reverts commit
def99cfd2b
.
2017-02-03 11:48:07 +01:00
..
com
Revert "PY-22514, CPP-8763: Disable unneeded producers for plugins"
2017-02-03 11:48:07 +01:00
META-INF
Plugin descriptors: remove deprecated attribute idea-plugin@version (IDEA-163694)
2016-11-11 17:08:58 +01:00
