diff configure.in @ 13452:5aab5c1f2c33

Oops; left a note in a doc-string.
author Simon Marshall <simon@gnu.org>
date Fri, 10 Nov 1995 08:42:45 +0000
parents d2d72cc7ee52
children e48a87d64e58
line wrap: on
line diff