修改完除了用户管理的其他报错

yz3456

2024-05-18 87e28c4bc7fe04eb14629482e97541d183c1d067

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