diff lispref/os.texi @ 42107:7a239c5cc1ed

Fix typo.
author Dave Love <fx@gnu.org>
date Mon, 17 Dec 2001 16:00:30 +0000
parents a3a9223b152f
children 2f863ec2724c
line wrap: on
line diff