移除多余接口

This commit is contained in:
undefined committed 2021-02-05 17:30:22 +08:00
1 parent 33aaf1f2ea
commit 0ceb095314
4 files changed
+9 -15

No files matched your search

+1 -1
View File
@@ -410,7 +410,7 @@ export interface ContestRule {
export type ContestRules = Dictionary<ContestRule>;
export type ProblemImporter = (url: string, handler: any) =>
Promise<[Pdoc, fs.ReadStream?]> | [Pdoc, fs.ReadStream?];
Promise<[Pdoc, fs.ReadStream?]> | [Pdoc, fs.ReadStream?];
export interface Script {
run: (args: any, report: Function) => any,