This file marks the pattern devel_gnome to be installed.
