diff octave-config.in @ 11257:8d4c57258523

fix some menu problems in the manual
author John W. Eaton <jwe@octave.org>
date Tue, 16 Nov 2010 03:39:23 -0500
parents a1dbe9d80eee
children fd0a3ac60b0e
line wrap: on
line diff