From a42aaab687c8dde3de2650070893d698a911e041 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Fri, 24 Jan 2014 20:57:04 +0100 Subject: remove a.out --- a.out | Bin 8415 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100755 a.out diff --git a/a.out b/a.out deleted file mode 100755 index ae9ca25..0000000 Binary files a/a.out and /dev/null differ -- cgit v1.2.3