MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-26 00:56:00 +07:00
Code Issues Packages Projects Releases Wiki Activity
191,077 Commits 34 Branches 10 Tags
9a5b38bed9d99da2de48c1f26002b4887fdbfa18
Commit Graph
1 Commits
Author SHA1 Message Date
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