Merge #16328: gtk themes: clean up inconsistent naming

This commit is contained in:
Vladimír Čunát 2016-06-28 21:47:29 +02:00
commit b8614a6c63
3 changed files with 2 additions and 2 deletions

View File

@ -2862,7 +2862,7 @@ in
pamtester = callPackage ../tools/security/pamtester { };
paper-gtk-theme = callPackage ../misc/themes/paper-gtk-theme { };
paper-gtk-theme = callPackage ../misc/themes/paper { };
par2cmdline = callPackage ../tools/networking/par2cmdline { };
@ -15916,7 +15916,7 @@ in
gnome_themes_standard = gnome3.gnome_themes_standard;
numix-gtk-theme = callPackage ../misc/themes/numix-gtk-theme { };
numix-gtk-theme = callPackage ../misc/themes/numix { };
# We need QtWebkit which was deprecated in Qt 5.6 although it can still be build
trojita = with qt55; callPackage ../applications/networking/mailreaders/trojita { };