# csh logout script - 5/17/86

set  savehist = $history
