This file marks the pattern kde_edutainment to be installed.
