diff INSTALL @ 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 00288f4c6920
children 88d561445a39
line wrap: on
line diff