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
5b80e7dc10f89da1c2bc2f06765cb1778c35ac89
openide
/
python
/
educational-python
T
History
Liana.Bakradze
5b80e7dc10
download EduTools plugin: get plugin version from properties
2018-01-17 11:03:44 +03:00
..
build
download EduTools plugin: get plugin version from properties
2018-01-17 11:03:44 +03:00
gen
/icons
EDU-1146 regenerate icons to remove student and teacher icons
2017-11-07 18:52:24 +03:00
resources
download EduTools plugin from plugins repo
2018-01-17 11:03:44 +03:00
src
Unnecessary null check before instanceof removed
2018-01-10 13:26:21 +07: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
