##// END OF EJS Templates
hgk: in popups, replace labels with window titles...
hgk: in popups, replace labels with window titles Replace labels with window titles. That also requires to change grid placement manager settings to compensate padding which used to be applied to now non-existent labels.

File last commit:

r16442:9181188f default
r18806:932f5d35 default
Show More
9diff.rc
7 lines | 177 B | text/x-stsrc | TextLexer
# The 9diff extdiff command generates diff(1) compatible output
# suitable for use with the plumber(4).
[extensions]
extdiff =
[extdiff]
9diff = 9diff -cm $parent $child $root