diff update-subdirs @ 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 c53a9463c31a
children b99080e25b28 f9a65d7ebd29
line wrap: on
line diff