marco
788d91e0ae
# revisions: 45771
...
git-svn-id: branches/fixes_3_2@46831 -
2020-09-10 14:07:22 +00:00
marco
3de6dfa4fb
* some IDE fixes merged
...
* gnutls with associated fcl-net revisions merged.
git-svn-id: branches/fixes_3_2@41900 -
2019-04-19 14:26:20 +00:00
pierre
253cf4abe1
Allow compilation for JVM CPU
...
git-svn-id: trunk@38145 -
2018-02-06 22:39:17 +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