|
| From: | Rik |
| Subject: | Re: Changing default of pager to off |
| Date: | Tue, 27 Feb 2018 11:26:28 -0800 |
Most opinions on the Maintainer's list and in the bug report were in favor of changing the default to off so I did that here: http://hg.savannah.gnu.org/hgweb/octave/rev/daf61c7dfcae. --Rik
| [Prev in Thread] | Current Thread | [Next in Thread] |