MDS/openide
1
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
21814af0cf322bf1cc22736b9ade0857a4a5aa6c
openide/python/educational-python
T
History
Liana.Bakradze 21814af0cf download EduTools plugin from plugins repo 
Plugin was stored as zip archive in resources which consumed too much
space in git repo. See EDU-1146 for reference about the original change
2018-01-17 11:03:44 +03:00
..
build
download EduTools plugin from plugins repo
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