diff options
| author |   Johannes Huber <johu@gentoo.org> | 2016-10-30 19:01:39 +0100 |
|---|---|---|
| committer | Johannes Huber <johu@gentoo.org> | 2016-10-30 19:09:02 +0100 |
| commit | 3501a5903cc23757f0f1a95d3372735048fe75e3 (patch) | |
| tree | 2f6a4287624d7c389271cf04b04c1d38fb05736a /dev-util/kdevelop/files | |
| parent | dev-util/kdevelop: Remove 5.0.1 (diff) | |
| download | gentoo-3501a5903cc23757f0f1a95d3372735048fe75e3.tar.gz gentoo-3501a5903cc23757f0f1a95d3372735048fe75e3.tar.bz2 gentoo-3501a5903cc23757f0f1a95d3372735048fe75e3.zip | |
dev-util/kdevelop: Rename patch
Package-Manager: portage-2.3.2
Diffstat (limited to 'dev-util/kdevelop/files')
| -rw-r--r-- | dev-util/kdevelop/files/kdevelop-5.0.2-ninja-optional.patch (renamed from dev-util/kdevelop/files/kdevelop-ninja-optional.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dev-util/kdevelop/files/kdevelop-ninja-optional.patch b/dev-util/kdevelop/files/kdevelop-5.0.2-ninja-optional.patch index a60da91df6dc..a60da91df6dc 100644 --- a/dev-util/kdevelop/files/kdevelop-ninja-optional.patch +++ b/dev-util/kdevelop/files/kdevelop-5.0.2-ninja-optional.patch |