diff config.bat @ 18707:23039b06955a

(current_lock_owner, lock_file_1): Add casts.
author Richard M. Stallman <rms@gnu.org>
date Thu, 10 Jul 1997 03:03:10 +0000
parents a6df390c0f5e
children 31e6205f80b6
line wrap: on
line diff