tree 17deccfc3425d171a8df152db6539d1c22f4c09a
parent 4b3cdce702fefa7eac0626f57d09ff018127c191
author Mattias Nissler <mnissler@google.com> 1456321506 +0100
committer Mattias Nissler <mnissler@google.com> 1456321990 +0100

Move dumpkey tool to the recovery repo.

The dumpkey tool is used to dump encryption keys in a custom format
used by the recovery code. Nobody else uses this format AFAICT, so
it's more appropriate to keep the code of the tool alongside the
recovery code instead of next to mincrypt.

BUG:27326256
Change-Id: I30176845617972be1d6e46e9a9218e161fbf0680