diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-12 00:00:40 +0000 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-12 00:31:20 +0000 |
| commit | 8463d12b7a99e449198b06341a96fb3504074040 (patch) | |
| tree | cfad99e8e9ac44521b03dd6d7a08ab321753f83f /dgit-maint-merge.7.pod | |
| parent | fcb31fe3655f197956bb61f89c54638db4c14265 (diff) | |
infra: mirroring and policy hooks: Provide ((( ))) banners
When we invoke these, this makes their output easier to find in the
middle of the test suite debug scrool.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-maint-merge.7.pod')
0 files changed, 0 insertions, 0 deletions