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

4.2 KiB

Raw Permalink History