comparison README @ 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 761667fb5a47
children aac0a33f5772
comparison
equal deleted inserted replaced
53849:bed59f02c306 53850:d19a78b5f1e5