This file marks the pattern devel_basis to be installed.