Mon, 01 May 2017 16:43:43 +0200 | Pierre-Yves David | pager: document the 'pager.enable' option | changeset | files |
Mon, 01 May 2017 18:07:23 +0200 | Pierre-Yves David | pager: advertise the config option in the default hgrc | changeset | files |
Mon, 01 May 2017 16:52:11 +0200 | Pierre-Yves David | pager: document the 'pager' config section | changeset | files |
Mon, 01 May 2017 16:36:30 +0200 | Pierre-Yves David | pager: test the 'enable' config option | changeset | files |
Mon, 01 May 2017 15:51:57 +0200 | Pierre-Yves David | config: drop pager from the recommended extension | changeset | files |
Mon, 01 May 2017 15:51:47 +0200 | Pierre-Yves David | config: use "churn" as an example extension | changeset | files |