diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2016-10-24 11:54:45 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2016-10-25 17:09:19 +0200 |
| commit | cd48d198367b044fee356bd0137aefe1f56bb878 (patch) | |
| tree | 9e33536eeea5098fb177fcaa9bd78afd59cfbde8 /util/lint/checkpatch.pl | |
| parent | 45037c8732de08ac67a78e178f5b76fc0a82a365 (diff) | |
Rename and move util/gitconfig/rebase.sh
It has nothing to do with git configuration, but is one of our
convenience scripts. It also has nothing to do with rebases (except that
it can be comfortably used through git rebase --exec)
Change-Id: Icc60c4de486a0027fe2230e93b441e62ba022193
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/17101
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/lint/checkpatch.pl')
0 files changed, 0 insertions, 0 deletions