diff options
author | Graham Christensen <graham@grahamc.com> | 2017-07-25 22:17:41 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-25 22:17:41 -0400 |
commit | 3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a (patch) | |
tree | f09d987f1bd0ac61a52928a577b4a01d3a84130d /maintainers/scripts/gnome.sh | |
parent | 318189f26febf90a6fa8e506e93ddbf37331a09f (diff) | |
parent | 90acbe5449268dc4e1b344b420cbb3b820e4c37a (diff) | |
download | nixpkgs-3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a.tar nixpkgs-3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a.tar.gz nixpkgs-3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a.tar.bz2 nixpkgs-3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a.tar.lz nixpkgs-3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a.tar.xz nixpkgs-3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a.tar.zst nixpkgs-3ffcbdd0f0fcb227c87c2d182b4dab75bd66b85a.zip |
Merge branch 'master' into patch-3
Diffstat (limited to 'maintainers/scripts/gnome.sh')
-rwxr-xr-x | maintainers/scripts/gnome.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/scripts/gnome.sh b/maintainers/scripts/gnome.sh index b2d55d7fbed..e5a8d606f1a 100755 --- a/maintainers/scripts/gnome.sh +++ b/maintainers/scripts/gnome.sh @@ -6,7 +6,7 @@ GNOME_FTP=ftp.gnome.org/pub/GNOME/sources # projects that don't follow the GNOME major versioning, or that we don't want to # programmatically update -NO_GNOME_MAJOR='gtkhtml gdm' +NO_GNOME_MAJOR="ghex gtkhtml gdm" usage() { echo "Usage: $0 gnome_dir <show project>|<update project>|<update-all> [major.minor]" >&2 |