diff man/major.texi @ 74081:9faf984a83f8

(regexp-opt): Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Sun, 19 Nov 2006 17:47:47 +0000
parents dc2d5a6655a3
children 53b637f954f2 c5406394f567
line wrap: on
line diff