diff src/pager.cc @ 8229:1bf51192fa1d

imported patch rundemos
author John W. Eaton <jwe@octave.org>
date Thu, 16 Oct 2008 13:28:43 -0400
parents 3c999b2b5de8
children 5dd06f19e9be 72830070a17b
line wrap: on
line diff