| Tests: | Testless build |
|---|---|
| Duration: | 1 minute |
| Changes: | Who: Soeren Domroes Why: graphs.klighd.ui: Corrected plugin name. Who: Soeren Domroes Why: targetplatform: Use KlighD nightly, added klighd.ide feature. Who: Soeren Domroes Why: Added graphs.klighd.ui to separate ui and ide. Who: Soeren Domroes Why: Pull request #75: Separate ui and ide Merge in KIELER/pragmatics from sdo/separateUIAndIde to master * commit "ec2d57a3c1255822ff26caabfdff95971e728810": graphs.klighd.ui: Sorted dependencies. targetplatform: Use KlighD nightly, added klighd.ide feature. graphs.klighd.ui: Corrected plugin name. Added graphs.klighd.ui to separate ui and ide. Who: Soeren Domroes Why: graphs.klighd.ui: Sorted dependencies. ... |
| Tests: | Testless build |
|---|---|
| Duration: | 6 minutes |
| Changes: | No changes |
| Tests: | Testless build |
|---|---|
| Duration: | 2 minutes |
| Changes: | Who: Niklas Rentz Why: cleaned up build pom Who: Niklas Rentz Why: changed build to load Sprotty source and binary jars automatically. Who: Niklas Rentz Why: Upgraded to Sprotty 0.8.0 Who: Niklas Rentz Why: fixed eclipse build Who: Niklas Rentz Why: changed central repository use to https |