aboutsummaryrefslogtreecommitdiff
path: root/ports/magnum-integration
AgeCommit message (Expand)Author
2018-05-02[magnum,-plugins,-integration,-extras] Update to v2018.04Squareys
2018-03-24[magnum-integration] Fix empty buildRobert Schumacher
2018-02-16[corrade,magnum,-plugins,-extras,-integration] Update to latest and support f...Jonathan Hale