Adapt to KDevelop API changes

Authored by mwolff on Feb 15 2019, 9:48 PM.

Description

Adapt to KDevelop API changes

Details

Committed
mwolffFeb 15 2019, 9:48 PM
Parents
R58:76b99513855f: adapt to KDevelop API changes
Branches
Unknown
Tags
Unknown