Nicolas Alvarez wrote: > I made some minor changes to the kdevplatform package. My changes are > available in github: > > http://github.com/nicolas17/kdevplatform-deb Similarly-trivial changes to kdevelop packages: http://github.com/nicolas17/kdevelop-deb -- Nicolas