comparison BUGS @ 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 8ce686bd7f4f
children fb8bf24d2eb9
comparison
equal deleted inserted replaced
69848:a80d40a59be6 69849:85e6a1c82a54