diff CONTRIBUTE @ 74081:9faf984a83f8

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