diff man/indent.texi @ 39166:f0bfa8a7d472

Explain clearly what \digit does when that grouping did not match.
author Richard M. Stallman <rms@gnu.org>
date Thu, 06 Sep 2001 19:46:04 +0000
parents daea04400144
children a093cd4ed690
line wrap: on
line diff