Lines Matching full:doubled
1320 % Doubled backslashes in the name.4151 % \pagegoal was set to the doubled \vsize above, since we restarted
