mirror of
https://gitlab.gnome.org/GNOME/gimp.git
synced 2025-10-05 21:02:42 +02:00
This reverts commit 7af987d31b
.
This commit is not needed anymore since the automatically generated
widget will now be radio buttons for small lists of choices.