This file marks the pattern devel_web to be installed.