diff options
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 9398331d0d68..a6f0dca2b827 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 |