Make compatible with old versions.

2013-12-18 11:22:16 -05:00 · 2013-12-18 11:22:16 -05:00 · 479ed4d624
commit 479ed4d624
parent 8f713bea59
1 changed files with 1 additions and 1 deletions
--- a/info.rkt
+++ b/info.rkt
@ -1,2 +1,2 @@
-#lang info
+#lang setup/infotab
 (define collection 'multi)