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
|
Mon, 01 May 2017 16:36:30 +0200 |
Pierre-Yves David |
pager: test the 'enable' config option
stable
|
Mon, 01 May 2017 15:51:57 +0200 |
Pierre-Yves David |
config: drop pager from the recommended extension
stable
|
Mon, 01 May 2017 15:51:47 +0200 |
Pierre-Yves David |
config: use "churn" as an example extension
stable
|
Wed, 19 Apr 2017 23:10:05 +0900 |
Yuya Nishihara |
discovery: prevent crash caused by prune marker having no parent data
stable
|
Mon, 01 May 2017 15:40:41 +0200 |
Pierre-Yves David |
color: point to the global help in the example hgrc
stable
|
Mon, 01 May 2017 15:39:50 +0200 |
Pierre-Yves David |
color: reflect the new default in the example hgrc
stable
|
Mon, 01 May 2017 15:38:57 +0200 |
Pierre-Yves David |
color: point to the config help in global help topic
stable
|
Mon, 01 May 2017 15:38:07 +0200 |
Pierre-Yves David |
color: reflect the new default in global help topic
stable
|