Mon, 01 May 2017 16:36:50 +0200 | Pierre-Yves David | pager: rename 'pager.enable' to 'ui.paginate' | changeset | files |
Tue, 02 May 2017 20:19:09 +0200 | Pierre-Yves David | color: special case 'always' in 'ui.color' | changeset | files |
Tue, 02 May 2017 20:01:54 +0200 | Pierre-Yves David | color: turn 'ui.color' into a boolean (auto or off) | changeset | files |
Mon, 01 May 2017 16:43:43 +0200 | Pierre-Yves David | pager: document the 'pager.enable' option | changeset | files |