MDS/openide
1
0 Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-09 19:24:36 +07:00
Code Issues Packages Projects Releases Wiki Activity
220,981 Commits 35 Branches 10 Tags
304d04a9a18448fb231e77643ad495588d20249e
Commit Graph
3 Commits
Author SHA1 Message Date
Sergey Malenkov 1b191d8eec use Swing border instead of HTML margins 2017-10-24 22:50:52 +03:00
Sergey Malenkov 83ee071422 change margins for content of Tip Of The Day 2017-10-23 20:09:05 +03:00
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