Lines Matching refs:Ignoring
3779 % Ignoring space at the beginning and end avoids an occasional spurious8111 \message{Unknown document encoding #1, ignoring.}%
