projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 950527c) | patch
media-libs/partio: Add patch to avoid naming conflicts
authorJonathan Scruggs <j.scruggs@gmail.com>
Sat, 23 Sep 2017 15:59:39 +0000 (16:59 +0100)
committerDavid Seifert <soap@gentoo.org>
Sat, 23 Sep 2017 16:20:37 +0000 (18:20 +0200)
commit20f5135974db37f56ae4c7d80f1267b421f21ebd
tree3575733e2931b1cbe679a56da92b0ec859a44648tree | snapshot
parent950527cd29cc967223a070566e79c4824eeeec2bcommit | diff
media-libs/partio: Add patch to avoid naming conflicts

* partconv collides with a file from dev-games/crystalspace

Closes: https://bugs.gentoo.org/631834
Closes: https://github.com/gentoo/gentoo/pull/5776
media-libs/partio/files/partio-1.1.0-Rename-partconv.patch [new file with mode: 0644] blob
media-libs/partio/partio-1.1.0_p20170829.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.