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-06 10:07:41 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
62053f224513fd004910fcbab3ff1b35b202d712
openide
/
python
/
educational-python
T
History
Alexander Podkhalyuzin
ebce859ec3
Separate jar for java-plugin. Supported different resource jars.
2017-11-16 11:22:20 +03:00
..
build
Separate jar for java-plugin. Supported different resource jars.
2017-11-16 11:22:20 +03:00
gen
/icons
EDU-1146 regenerate icons to remove student and teacher icons
2017-11-07 18:52:24 +03:00
resources
EDU-1146 educator or student dialog has been moved to plugin
2017-11-07 18:52:24 +03:00
src
EDU-1146 educator or student dialog has been moved to plugin
2017-11-07 18:52:24 +03:00
educational-python.iml
EDU-1146 Remove educational plugins sources from intellij-community repo
2017-11-07 18:52:24 +03:00
main_pycharm_edu.iml
EDU-1146 Remove educational plugins sources from intellij-community repo
2017-11-07 18:52:24 +03:00