add `planet2' to distribution
This commit is contained in:
parent
483148e528
commit
34f05a5190
|
@ -554,6 +554,7 @@ plt-extras :+= (package: "slatex")
|
||||||
|
|
||||||
;; -------------------- planet
|
;; -------------------- planet
|
||||||
mz-extras :+= (package: "planet")
|
mz-extras :+= (package: "planet")
|
||||||
|
mz-extras :+= (package: "planet2")
|
||||||
|
|
||||||
;; -------------------- mrlib
|
;; -------------------- mrlib
|
||||||
mr-extras :+= (- (+ (package: "mrlib/")
|
mr-extras :+= (- (+ (package: "mrlib/")
|
||||||
|
|
Loading…
Reference in New Issue
Block a user