MDS/openide
1
0 Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-21 03:10:57 +07:00
Code Issues Packages Projects Releases Wiki Activity
210,958 Commits 35 Branches 10 Tags
b45f8af2ec99b13f4e67af465cbfe1cdc0804ae5
Commit Graph
6 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
Aleksey Pivovarov 7fbbfbfa76 icons: fix typo in tips&tricks images 2017-01-23 19:06:04 +03:00
Aleksey Pivovarov 4d641af8bc icons: fix typos in file name 2017-01-23 16:16:02 +03:00
nik 6203945c7e python educational: corrected css reference for tips 2016-08-29 09:42:01 +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