This file marks the pattern devel_ide to be installed.
