added info.rkt
This commit is contained in:
parent
120f0c357d
commit
be804df673
1 changed files with 3 additions and 0 deletions
3
info.rkt
Normal file
3
info.rkt
Normal file
|
@ -0,0 +1,3 @@
|
||||||
|
#lang info
|
||||||
|
|
||||||
|
(define collection 'multi)
|
Loading…
Reference in a new issue