diff make-dist @ 86507:b7cc783e1692

(math-normalize-nonstandard): Fix declaration.
author Glenn Morris <rgm@gnu.org>
date Tue, 27 Nov 2007 07:57:07 +0000
parents b4d02fc0c471
children c9c2e3b42307
line wrap: on
line diff