diff options
| author |  Adam Michael <ajmichael@google.com> | 2016-08-17 20:08:23 +0000 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2016-08-18 08:31:50 +0000 |
| commit | dbbe7898032682c3cf25a4bdfc8e9b87338928fa (patch) | |
| tree | 865f684c79f57c9db89c3fbf613c1f2703dc6d46 | |
| parent | 6c3fe26cbd07d3cb52739c1c296853f23332275d (diff) | |
Delete unused empty file.
The filegroup using this file was deleted in commit c9d4fae25137cf480e83566d992bef813fcad7ee
--
MOS_MIGRATED_REVID=130553843
| -rw-r--r-- | tools/android/jack/empty | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/android/jack/empty b/tools/android/jack/empty deleted file mode 100644 index e69de29bb2..0000000000 --- a/tools/android/jack/empty +++ /dev/null |