diff scripts/prefs/getpref.m @ 20802:5fc798a9b32c

maint: Periodic merge of stable to default.
author Rik <rik@octave.org>
date Fri, 09 Oct 2015 19:28:05 -0700
parents 03b9d17a2d95
children
line wrap: on
line diff