Commits

Soeren Domroes authored bbeced556bbM
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.