From 3818954dc37deda55375e01b370e8143279a75d8 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Sun, 24 Feb 2013 15:13:42 -0500 Subject: [PATCH] properly named --- .../2htdp/tests/{batch-io-csv-ho.rktl => batch-io-csv-ho.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename collects/2htdp/tests/{batch-io-csv-ho.rktl => batch-io-csv-ho.txt} (100%) diff --git a/collects/2htdp/tests/batch-io-csv-ho.rktl b/collects/2htdp/tests/batch-io-csv-ho.txt similarity index 100% rename from collects/2htdp/tests/batch-io-csv-ho.rktl rename to collects/2htdp/tests/batch-io-csv-ho.txt