comparison config.sub @ 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 4977d34e1341
children c53a9463c31a d7ddb3e565de
comparison
equal deleted inserted replaced
53849:bed59f02c306 53850:d19a78b5f1e5