dev-util/kdevelop: Rename patch
authorJohannes Huber <johu@gentoo.org>
Sun, 30 Oct 2016 18:01:39 +0000 (19:01 +0100)
committerJohannes Huber <johu@gentoo.org>
Sun, 30 Oct 2016 18:09:02 +0000 (19:09 +0100)
commit3501a5903cc23757f0f1a95d3372735048fe75e3
tree2f6a4287624d7c389271cf04b04c1d38fb05736a
parent8111a3bad1022025061370588a2852b4ca89535b
dev-util/kdevelop: Rename patch

Package-Manager: portage-2.3.2
dev-util/kdevelop/files/kdevelop-5.0.2-ninja-optional.patch [moved from dev-util/kdevelop/files/kdevelop-ninja-optional.patch with 100% similarity]
dev-util/kdevelop/kdevelop-5.0.2.ebuild