diff config.sub @ 30787:efa4d1ed3f1b

(show-paren-priority): New user option. (show-paren-function): Set overlay priorities to show-paren-priority.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 14 Aug 2000 19:46:18 +0000
parents fad18c8cd792
children 65667218173f
line wrap: on
line diff