From d178b23c007ad104aa24b7da108e732a42b94178 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 Aug 2014 16:49:17 +0100 Subject: [PATCH] remove accidentally added files --- tmp1 | 2 -- tmp2 | 2 -- tmp3 | 2 -- 3 files changed, 6 deletions(-) delete mode 100644 tmp1 delete mode 100644 tmp2 delete mode 100644 tmp3 diff --git a/tmp1 b/tmp1 deleted file mode 100644 index 2fa91c525d..0000000000 --- a/tmp1 +++ /dev/null @@ -1,2 +0,0 @@ -;(#t #f a () 9739 -3 . #((test) te " " st test #() b c)) -(define foo (quote (#t #f #\a () 9739 -3 . #((test) "te \" \" st" "" test #() b c)))) \ No newline at end of file diff --git a/tmp2 b/tmp2 deleted file mode 100644 index 2fa91c525d..0000000000 --- a/tmp2 +++ /dev/null @@ -1,2 +0,0 @@ -;(#t #f a () 9739 -3 . #((test) te " " st test #() b c)) -(define foo (quote (#t #f #\a () 9739 -3 . #((test) "te \" \" st" "" test #() b c)))) \ No newline at end of file diff --git a/tmp3 b/tmp3 deleted file mode 100644 index b109107343..0000000000 --- a/tmp3 +++ /dev/null @@ -1,2 +0,0 @@ -;(0.25 -3.25) -(define foo (quote (0.25 -3.25))) \ No newline at end of file