This file marks the pattern devel_python to be installed.
