move unstable/gui to the plt distribution
This commit is contained in:
parent
66e94fe10a
commit
ed1596db9b
|
@ -664,7 +664,7 @@ plt-extras :+= (package: "deinprogramm/")
|
||||||
mz-extras :+= (- (package: "unstable")
|
mz-extras :+= (- (package: "unstable")
|
||||||
;; should "gui" mean DrRacket or GRacket? It's not
|
;; should "gui" mean DrRacket or GRacket? It's not
|
||||||
;; obvious that "framework" is only in DrRacket.
|
;; obvious that "framework" is only in DrRacket.
|
||||||
(cond (not dr) => (collects: "unstable/gui")))
|
(cond (not plt) => (collects: "unstable/gui")))
|
||||||
|
|
||||||
;; -------------------- plai
|
;; -------------------- plai
|
||||||
plt-extras :+= (package: "plai/")
|
plt-extras :+= (package: "plai/")
|
||||||
|
|
Loading…
Reference in New Issue
Block a user