| Thu, 23 Feb 2017 11:23:17 -0800 |
eloimorlaas |
record: update help to describe ui.interface
stable
|
| Sat, 25 Feb 2017 16:57:21 +0530 |
Rishabh Madan |
ui: replace obsolete default-push with default:pushurl (issue5485)
stable
|
| Sat, 25 Feb 2017 01:07:52 +0900 |
FUJIWARA Katsunori |
worker: ignore meaningless exit status indication returned by os.waitpid()
stable
|
| Tue, 07 Feb 2017 17:13:25 -0500 |
Augie Fackler |
pager: add a config knob to just globally turn off the pager
|
| Tue, 07 Feb 2017 00:07:53 -0500 |
Augie Fackler |
pager: move most help to a new help topic and deprecate extension
|
| Tue, 21 Feb 2017 14:20:05 -0500 |
Augie Fackler |
dispatch: rearrange 'unknown command' code to better employ pager
|
| Tue, 21 Feb 2017 14:17:31 -0500 |
Augie Fackler |
help: move rst formatting of help documents into help.py
|
| Tue, 21 Feb 2017 11:06:02 -0500 |
Augie Fackler |
outgoing: avoid running pager until we're actually showing changes
|
