From 8f713bea5978a4e7fd9199da491e206158600c8c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Oct 2013 10:50:56 -0400 Subject: [PATCH 1/2] Add info.rkt. --- info.rkt | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 info.rkt diff --git a/info.rkt b/info.rkt new file mode 100644 index 0000000..94a40a5 --- /dev/null +++ b/info.rkt @@ -0,0 +1,2 @@ +#lang info +(define collection 'multi) From 479ed4d624f1321a747cc91326e4a8f4e3767cb7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 18 Dec 2013 11:22:16 -0500 Subject: [PATCH 2/2] Make compatible with old versions. --- info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/info.rkt b/info.rkt index 94a40a5..53c9302 100644 --- a/info.rkt +++ b/info.rkt @@ -1,2 +1,2 @@ -#lang info +#lang setup/infotab (define collection 'multi)