diff options
| author | Pacho Ramos <pacho@gentoo.org> | 2023-02-23 16:25:59 +0100 |
|---|---|---|
| committer | Pacho Ramos <pacho@gentoo.org> | 2023-02-23 16:28:35 +0100 |
| commit | 542dbffa42c3dd739ba66516609968170d539a6d (patch) | |
| tree | 9ef29dc81eb1d5a761a2dabb226e6fd2aeda6c79 /dev-java | |
| parent | 42fba663ea2b060cda329e088dc705f0782fb18a (diff) | |
| download | gentoo-542dbffa42c3dd739ba66516609968170d539a6d.tar.gz gentoo-542dbffa42c3dd739ba66516609968170d539a6d.tar.bz2 gentoo-542dbffa42c3dd739ba66516609968170d539a6d.zip | |
app-text/xdvik: Use a higher resolution icon
Use an icon with higher resolution for the menu entry. Also handle the
duplicated desktop file as upstream started to provide a (partially incomplete)
one. Rely on our generated file for now after syncing both as much as possible.
Closes: https://bugs.gentoo.org/882737
Signed-off-by: Pacho Ramos <pacho@gentoo.org>
Diffstat (limited to 'dev-java')
0 files changed, 0 insertions, 0 deletions