# local.mif -- empty file for use in an installation
#
# This file is included from cppexamp.mif.