This file marks the pattern gnome_ide to be installed.
