diff lispref/os.texi @ 78398:cb21861af59b

Revert previous change, which was only supposed to be in trunk.
author Glenn Morris <rgm@gnu.org>
date Fri, 03 Aug 2007 03:19:07 +0000
parents 44bc179f404b
children d2c45585a2f5 886ca7a8a884 4ef881a120fe
line wrap: on
line diff