pull/10/head
undefined 4 years ago
parent 76f105c4c8
commit 06847d9b19

@ -38,7 +38,6 @@
"@types/adm-zip": "^0.4.33",
"@types/fs-extra": "^9.0.1",
"@types/js-yaml": "^3.12.5",
"@types/katex": "^0.11.0",
"@types/koa": "^2.11.3",
"@types/koa-morgan": "^1.0.4",
"@types/koa-router": "^7.4.1",

@ -396,7 +396,6 @@ export interface Service {
export interface Lib {
download: typeof import('./lib/download').default,
superagent: typeof import('./lib/superagent'),
'hash.hydro': typeof import('./lib/hash.hydro').default,
i18n: typeof import('./lib/i18n').default,
'import.syzoj': typeof import('./lib/import.syzoj').syzoj,

Loading…
Cancel
Save