优化app历史任务列表

Administrator

2023-08-01 79b466a6b77ed62f2275f97c5812a26da27ca489

1
2
import Graph from '../../data/Graph.js';
export default function adjustEdge(graph: Graph, scale: number): void;