diff Announce @ 8273:2c1ba965b486

skip reading history file with --no-history option
author John W. Eaton <jwe@octave.org>
date Thu, 23 Oct 2008 16:01:06 -0400
parents 4696773a14b1
children
line wrap: on
line diff