MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-23 07:39:39 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
6d25e29ac0641e8f2dac898331e6b2f8fa107be1
openide/python/educational-python/student-python/resources/com/jetbrains/python/edu
History
Valentina Kiryushkina 7e5a5b849a Rename educational plugins and update plugin's description 
edu --> educational-python
educational --> educational-core
interactive-learning --> student
2016-01-26 19:36:12 +03:00
..
user_tester.py
Rename educational plugins and update plugin's description
2016-01-26 19:36:12 +03:00