diff etc/Makefile @ 7856:9687141f6264

(Freplace_match): Be sure not to treat non-digit like digit.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Jun 1994 21:53:09 +0000
parents cb15d148ee99
children 0c5b5d89288e
line wrap: on
line diff