Home | History | Annotate | Download | only in build-aux

Lines Matching refs:ignoring

3779       % Ignoring space at the beginning and end avoids an occasional spurious
8111 \message{Unknown document encoding #1, ignoring.}%