@@ -78,23 +78,17 @@ async def input_formats(request: Request):
7878 resp = await make_query ('input_formats' , params )
7979 return JSONResponse (content = resp )
8080
81- @router .get ('/tools/input_formats_coverage' , tags = ["stats" ])
82- async def input_formats_coverage (request : Request ):
83- params = request .query_params
84- resp = await make_query ('input_formats_coverage' , params )
85- return JSONResponse (content = resp )
86-
8781
8882@router .get ('/tools/output_formats' , tags = ["stats" ])
8983async def output_formats (request : Request ):
9084 params = request .query_params
9185 resp = await make_query ('output_formats' , params )
9286 return JSONResponse (content = resp )
9387
94- @router .get ('/tools/output_formats_coverage ' , tags = ["stats" ])
95- async def output_formats_coverage (request : Request ):
88+ @router .get ('/tools/formats_coverage ' , tags = ["stats" ])
89+ async def formats_coverage (request : Request ):
9690 params = request .query_params
97- resp = await make_query ('output_formats_coverage ' , params )
91+ resp = await make_query ('formats_coverage ' , params )
9892 return JSONResponse (content = resp )
9993
10094
0 commit comments