Update info.rkt

pull/24/head
Matthew Butterick 5 years ago committed by GitHub
parent 103edc8f84
commit ab5f7b65d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -8,5 +8,4 @@
"brag-lib"))
(define implies '("br-parser-tools-lib"
"rackunit-lib"
"brag-lib"))

Loading…
Cancel
Save