This change was almost entirely mechanical. Save for two files which had very
short matches, these changes were produced by two seds and a Perl script, for
the more involved cases. The latter will be added in a subsequent commit. The
former are as follows:
sed -E -i "/dg-output/s/default st
This change was almost entirely mechanical. Save for two files which had very
short matches, these changes were produced by two seds and a Perl script, for
the more involved cases. The latter will be added in a subsequent commit. The
former are as follows:
sed -E -i "/dg-output/s/default st
