diff src/prefix-args.c @ 83697:49e25dcf3117

Some more tidying and simplification pending merge.
author Glenn Morris <rgm@gnu.org>
date Tue, 28 Aug 2007 07:44:51 +0000
parents 65663fcd2caa
children 107ccd98fa12 bdb3fe0ba9fa
line wrap: on
line diff