diff man/makefile.w32-in @ 74432:07d0c7e67ef3

(octave-abbrev-table): Define abbrevs even if abbrev-table is non-nil (saved user abbrevs may have been restored).
author Glenn Morris <rgm@gnu.org>
date Tue, 05 Dec 2006 05:25:17 +0000
parents b99acc9121ba
children 3d45362f1d38 dbe3f29e61d6
line wrap: on
line diff