Merge pull request #90221 from gnidorah/cdetheme

cde-gtk-theme: small adjustments
This commit is contained in:
José Romildo Malaquias 2020-07-12 10:15:31 -03:00 committed by GitHub
commit bb834be299
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions

View file

@ -1,7 +1,7 @@
{ stdenv, fetchFromGitHub, python2Packages }:
stdenv.mkDerivation rec {
pname = "cde-motif-theme";
pname = "cdetheme";
version = "1.3";
src = fetchFromGitHub {
@ -29,5 +29,6 @@ stdenv.mkDerivation rec {
license = licenses.gpl3;
platforms = platforms.all;
maintainers = with maintainers; [ gnidorah ];
hydraPlatforms = [];
};
}

View file

@ -18085,7 +18085,7 @@ in
cascadia-code = callPackage ../data/fonts/cascadia-code { };
cde-gtk-theme = callPackage ../data/themes/cde-motif-theme { };
cde-gtk-theme = callPackage ../data/themes/cdetheme { };
charis-sil = callPackage ../data/fonts/charis-sil { };