diff configure @ 69849:85e6a1c82a54

(Other Display Specs): Arrange a @code{DOTTED-LIST} to be on one line to help makeinfo not render two spaces after the dot.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Fri, 07 Apr 2006 22:10:37 +0000
parents 69fa3d958119
children b99080e25b28 81f2d90dee68 482dfed28bee
line wrap: on
line diff