Removed duplicate dependency on phc-adt
This commit is contained in:
parent
16438869f2
commit
3b33c3676a
1
info.rkt
1
info.rkt
|
@ -4,7 +4,6 @@
|
||||||
"rackunit-lib"
|
"rackunit-lib"
|
||||||
"https://github.com/jsmaniac/phc-toolkit.git#dev"
|
"https://github.com/jsmaniac/phc-toolkit.git#dev"
|
||||||
"https://github.com/jsmaniac/phc-adt.git?path=phc-adt#dev"
|
"https://github.com/jsmaniac/phc-adt.git?path=phc-adt#dev"
|
||||||
"phc-adt"
|
|
||||||
"type-expander"
|
"type-expander"
|
||||||
"hyper-literate"
|
"hyper-literate"
|
||||||
"scribble-enhanced"
|
"scribble-enhanced"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user