mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2025-08-19 15:18:55 +02:00
gi- tools: Remove unused options, improve --debug/--verbose See merge request GNOME/glib!3926
gi- tools: Remove unused options, improve --debug/--verbose See merge request GNOME/glib!3926