comparison admin/revdiff @ 79299:6ba7088444ec

(footnote-numeric-regexp) (footnote-english-upper-regexp, footnote-english-lower-regexp) (footnote-roman-lower-regexp, footnote-roman-upper-regexp): Match multi-character footnotes.
author Glenn Morris <rgm@gnu.org>
date Thu, 01 Nov 2007 03:40:30 +0000
parents 450fa81c5930
children cde444d03b82 f55f9811f5d7
comparison
equal deleted inserted replaced
79298:3e6cbd5009b5 79299:6ba7088444ec