diff update-subdirs @ 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 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff