diff options
author | 2019-01-31 17:09:12 +0100 | |
---|---|---|
committer | 2019-01-31 17:09:12 +0100 | |
commit | 865fbb5aad9b9ccb5b201271e590d6a14e3efdf5 (patch) | |
tree | 7b0381a91ae0f0fc1f12a2aa94cd30dc83c6f24f | |
parent | c57a9e995cafe2f022ef7aa147bfb1429165e1b3 (diff) |
delete a.out
Change-Id: If6310130d50d742da34aa974755e1ac1b96b507e
-rwxr-xr-x | src/a.out | bin | 40272 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/a.out b/src/a.out Binary files differdeleted file mode 100755 index d2e6a5f8..00000000 --- a/src/a.out +++ /dev/null |