reassign 424223 grub2 merge 422708 424223 thanks On Tue, May 15, 2007 at 10:44:18PM +0100, Sam Morris wrote: > + *.dpkg-dist) ;; > + *.dpkg-old) ;;
These ought to be skipped in other places, too. Maybe we should include a generic function for that in our shell library (when we have one, that is ;-)). -- Robert Millan My spam trap is [EMAIL PROTECTED] Note: this address is only intended for spam harvesters. Writing to it will get you added to my black list. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

