comparison man/reftex.texi @ 53850:d19a78b5f1e5

(gud-jdb-marker-filter): Add period as optional thousands separator; fixes <class>:<line-number> regexp for non-english locales.
author Nick Roberts <nickrob@snap.net.nz>
date Sun, 08 Feb 2004 15:30:42 +0000
parents 695cf19ef79e
children dc7deb7ca051 375f2633d815
comparison
equal deleted inserted replaced
53849:bed59f02c306 53850:d19a78b5f1e5