tree 80e066003467dff3b4a550ee5a38adb5b9a9b3d8
parent 4e23572b0db3089c7dc975046bbd3a84cd4ef9a7
author Adam Barth <abarth@google.com> 1580159980 +0000
committer CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org> 1580159980 +0000

[mine_digger] Remove the mine_digger example

This example is no longer needed.

Change-Id: Id5943aa648fde97b688ca7306e87109ee675c51b