Use #lang info
instead of #lang setup/infotab
.
original commit: 5a7ca7ebb56b2215f2d395ed052c03ea740817ea
This commit is contained in:
parent
f849cf1b30
commit
f3a8b6e390
|
@ -1,4 +1,4 @@
|
|||
#lang setup/infotab
|
||||
#lang info
|
||||
|
||||
(define collection 'multi)
|
||||
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
#lang setup/infotab
|
||||
#lang info
|
||||
|
||||
(define scribblings '(("profile.scrbl" () (tool-library))))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang setup/infotab
|
||||
#lang info
|
||||
|
||||
(define collection 'multi)
|
||||
(define deps '("base"))
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang setup/infotab
|
||||
#lang info
|
||||
|
||||
(define collection 'multi)
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user