2 Commits

Author	SHA1	Message	Date
marco	98f00acb06	* trunk to 3.3.1 ... git-svn-id: trunk@39635 -	2018-08-18 15:47:44 +00:00
florian	3ce7927096	* made the ide a package, so it can be build in parallel with the other packages, reasons: ... - lowers build times - ide is not that important anymore than years before - other utils like pastojs are also located in the packages tree git-svn-id: trunk@37926 -	2018-01-06 20:22:30 +00:00