Adapt to KDevelop API changes

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

Description

Adapt to KDevelop API changes

Details

Committed
mwolffFeb 15 2019, 9:47 PM
Parents
R53:820775f33318: adapt to KDevelop API changes
Branches
Unknown
Tags
Unknown