summaryrefslogtreecommitdiff
path: root/src/lib/gnat/i-c.ads
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2017-10-09 18:28:42 +0200
committerPatrick Georgi <pgeorgi@google.com>2017-10-11 09:17:30 +0000
commit5b9a7f521726a479d8594f859358260e868392f2 (patch)
tree863ba6b9585d6fa26e57b1a621e00e642fcea9fb /src/lib/gnat/i-c.ads
parentbf375e3943ada9b75083f6f162a6ccd1c6cdadbf (diff)
util/gitconfig: remove cborg2cros.py
util/scripts/gerrit-rebase and cross-repo-cherrypick serve the same purpose and we don't need two of everything. Change-Id: I66a71033a8a29249d214db4c31a67f8a0725163c Signed-off-by: Patrick Georgi <pgeorgi@google.com> Reviewed-on: https://review.coreboot.org/21926 Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'src/lib/gnat/i-c.ads')
0 files changed, 0 insertions, 0 deletions