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
50de9be4a647db0da4b5693ff9dc5159100ce1e4
openide
/
python
/
educational-python
/
src
T
History
Ekaterina Tuzova
df9f2237ad
EDU-900 Enable educator tools only if user confirmed that he/she is an educator
2017-04-03 13:32:33 +03:00
..
com
EDU-900 Enable educator tools only if user confirmed that he/she is an educator
2017-04-03 13:32:33 +03:00
META-INF
EDU-525 Empty Editor shouldn't be replaced in educational plugins
2017-03-20 17:32:46 +03:00