This file marks the pattern rest_core_dvd to be installed.
