This file marks the pattern devtools to be installed.
