diff TOOLS/mpconsole @ 13895:0109b5a6234f

Handle "tail" and "head" properly. If using "-1" does not work then use "-n 1". Throw away warnings in both cases.
author mosu
date Sun, 07 Nov 2004 21:58:29 +0000
parents a818bbab1525
children
line wrap: on
line diff