Fix imports in wiki name downloader

This commit is contained in:
Cadence Ember 2022-10-24 18:13:14 +13:00
parent bf055836cc
commit d8d4e4375e
Signed by untrusted user: cadence
GPG key ID: BC1C2C61CF521B17

View file

@ -5,8 +5,8 @@
json
net/http-easy
html-parsing
"src/xexpr-utils.rkt"
"src/url-utils.rkt")
"../src/xexpr-utils.rkt"
"../src/url-utils.rkt")
(define output-file "wiki-names.json")
(define limit "5000")