From 1ce516b401b8bbf50ff0ec5f718dcf51a2d762a2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 13 Aug 2013 07:21:11 -0500 Subject: [PATCH] add forgotten file --- pkgs/htdp-pkgs/htdp-test/htdp/info.rkt | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 pkgs/htdp-pkgs/htdp-test/htdp/info.rkt diff --git a/pkgs/htdp-pkgs/htdp-test/htdp/info.rkt b/pkgs/htdp-pkgs/htdp-test/htdp/info.rkt new file mode 100644 index 0000000000..2f992b4440 --- /dev/null +++ b/pkgs/htdp-pkgs/htdp-test/htdp/info.rkt @@ -0,0 +1,5 @@ +#lang info + +(define name "HtDP Teachpack Tests") +(define compile-omit-paths '("tests")) +