(gud-jdb-marker-filter): Add period as optional thousands separator; fixes
authorNick Roberts <nickrob@snap.net.nz>
Sun, 8 Feb 2004 15:30:42 +0000 (15:30 +0000)
committerNick Roberts <nickrob@snap.net.nz>
Sun, 8 Feb 2004 15:30:42 +0000 (15:30 +0000)
commita0c3f8bc4625be893b42446672622e7bd1278fc7
tree2c93bf8cc2a2c91cfa3e01718e118d080d1c0430
parentc35391d102b2d83bc7a8a84aa6b61bf3351067a2
(gud-jdb-marker-filter): Add period as optional thousands separator; fixes
<class>:<line-number> regexp for non-english locales.
lisp/progmodes/gud.el