diff options
Diffstat (limited to 'tools/push.jar.desired.sha1')
| -rw-r--r-- | tools/push.jar.desired.sha1 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/push.jar.desired.sha1 b/tools/push.jar.desired.sha1 deleted file mode 100644 index 63e6a47372..0000000000 --- a/tools/push.jar.desired.sha1 +++ /dev/null @@ -1 +0,0 @@ -a1883f4304d5aa65e1f6ee6aad5900c62dd81079 ?push.jar |