Tue, 02 May 2017 17:18:13 +0200 |
Pierre-Yves David |
pager: drop the support for 'pager.enable=<bool>'
stable
|
Mon, 01 May 2017 16:36:50 +0200 |
Pierre-Yves David |
pager: rename 'pager.enable' to 'ui.paginate'
stable
|
Tue, 02 May 2017 20:19:09 +0200 |
Pierre-Yves David |
color: special case 'always' in 'ui.color'
stable
|
Tue, 02 May 2017 20:01:54 +0200 |
Pierre-Yves David |
color: turn 'ui.color' into a boolean (auto or off)
stable
|
Mon, 01 May 2017 16:43:43 +0200 |
Pierre-Yves David |
pager: document the 'pager.enable' option
stable
|
Mon, 01 May 2017 18:07:23 +0200 |
Pierre-Yves David |
pager: advertise the config option in the default hgrc
stable
|
Mon, 01 May 2017 16:52:11 +0200 |
Pierre-Yves David |
pager: document the 'pager' config section
stable
|