KDevelop: Difference between revisions