Adding data to mz-extras
This commit is contained in:
parent
fd300bc31c
commit
fe2a70a347
|
@ -661,6 +661,7 @@ plt-extras :+= (package: "deinprogramm/")
|
||||||
(doc: "DMdA-lib")
|
(doc: "DMdA-lib")
|
||||||
|
|
||||||
;; -------------------- unstable
|
;; -------------------- unstable
|
||||||
|
mz-extras :+= (package: "data")
|
||||||
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.
|
||||||
|
|
Loading…
Reference in New Issue
Block a user