summaryrefslogtreecommitdiff
path: root/tools/git-reindent-branch.py
diff options
context:
space:
mode:
authorDonald Sharp <sharpd@cumulusnetworks.com>2018-02-08 19:51:37 -0500
committerDonald Sharp <sharpd@cumulusnetworks.com>2018-02-08 20:38:16 -0500
commitfc5cca9fa41eee79dac29b6d973c2dfb097ad5a2 (patch)
tree93595c9a8f377ffeb0ecb80b873a22760bbffaba /tools/git-reindent-branch.py
parent42567e0011491fe799eef6d236ecf1937c59c18f (diff)
zebra: Use appropriate output function for label printing
Signed-off-by: Donald Sharp <sharpd@cumulusnetworks.com>
Diffstat (limited to 'tools/git-reindent-branch.py')
0 files changed, 0 insertions, 0 deletions