##// END OF EJS Templates
headsummary: expose the 'discardedheads' set in the headssummary...
headsummary: expose the 'discardedheads' set in the headssummary That information will be useful to detect push race on related part of the history. See next changeset for details.

File last commit:

r32065:dc82c977 stable
r32708:90cb4ec8 default
Show More
default-tools.rc
5 lines | 62 B | text/x-stsrc | TextLexer
[ui]
editor = sensible-editor
[pager]
pager = sensible-pager