From 8ecb5a431e33683d4119fb944ba26fd57403a7e5 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 4 Jul 2013 15:28:06 -0400 Subject: [PATCH] Remove unneeded info files. --- racket/lib/collects/data/info.rkt | 1 - racket/lib/collects/file/info.rkt | 3 --- racket/lib/collects/json/info.rkt | 3 --- 3 files changed, 7 deletions(-) delete mode 100644 racket/lib/collects/data/info.rkt delete mode 100644 racket/lib/collects/file/info.rkt delete mode 100644 racket/lib/collects/json/info.rkt diff --git a/racket/lib/collects/data/info.rkt b/racket/lib/collects/data/info.rkt deleted file mode 100644 index e0c94f2762..0000000000 --- a/racket/lib/collects/data/info.rkt +++ /dev/null @@ -1 +0,0 @@ -#lang info diff --git a/racket/lib/collects/file/info.rkt b/racket/lib/collects/file/info.rkt deleted file mode 100644 index 8525dbf5e1..0000000000 --- a/racket/lib/collects/file/info.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang info - -(define compile-omit-files '("tests")) diff --git a/racket/lib/collects/json/info.rkt b/racket/lib/collects/json/info.rkt deleted file mode 100644 index a383220ec3..0000000000 --- a/racket/lib/collects/json/info.rkt +++ /dev/null @@ -1,3 +0,0 @@ -#lang info - -(define compile-omit-paths '("tests"))