]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95b06c0) | patch
*: add git-reindent-branch.py
authorDavid Lamparter <equinox@opensourcerouting.org>
Thu, 20 Jul 2017 17:09:40 +0000 (19:09 +0200)
committerDavid Lamparter <equinox@opensourcerouting.org>
Thu, 20 Jul 2017 17:09:56 +0000 (19:09 +0200)
commitdceb5f8ac71a839389786f5040a50b8feec30156
treef3a38d410c89ff3d3616416f04fb2a63e3c89e3btree | snapshot
parent95b06c0aa5cf0dece94b04cc81b1f4beb1c46baacommit | diff
*: add git-reindent-branch.py

This tries to heave a branch over the reindentation step.  Somewhat
tested, don't trust it blindly...

Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
git-reindent-branch.py [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.