diff configure.in @ 51918:9fbd3ef3087d

(User Identification): user-uid, user-real-uid can return float.
author Richard M. Stallman <rms@gnu.org>
date Mon, 14 Jul 2003 15:59:52 +0000
parents 0bab97b183c0
children 88c812dbb817
line wrap: on
line diff