MDS/openide
1
0 Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-17 14:51:57 +07:00
Code Issues Packages Projects Releases Wiki Activity
183,008 Commits 35 Branches 10 Tags
9ffbd3bd87e2fe19ecd36bd17954ca7299082e2b
Commit Graph
6 Commits
Author SHA1 Message Date
Dmitry Trofimov ee8d675984 Improve help menu actions (PY-21027) 2016-10-27 17:33:09 +02:00
Ekaterina Tuzova b0300ba893 Use old versioning system for Edu 2016-06-28 18:36:33 +03:00
Anton Makeev 8ef1d93cc4 Merge branch 'master' into amakeev/build-number 2016-04-07 10:58:23 +02:00
Vladimir.Orlov 5e81fde2d8 removed obsoleted install-over from ApplicationInfo.xml files and build scripts. 2016-04-05 17:42:48 +03:00
Anton Makeev 4a9555742c Platform: build numbers: updated ApplicationInfo.xmls 2016-03-31 18:37:19 +02: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