diff lispref/os.texi @ 74081:9faf984a83f8

(regexp-opt): Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Sun, 19 Nov 2006 17:47:47 +0000
parents 9c30f6865f5f
children 6d19c76d81c5 bb0e318b7c53
line wrap: on
line diff