This file marks the pattern kde4_edutainment to be installed.
