Bug#501318: Bash built-in?

[Anakreon Mentis]

Thanks for the advice. I was not aware that there was a bash bult-in
command called time.



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]