修复用户角色消失问题

‘liusuyi’

2023-07-28 7d4550556a37b985f49172b91df6780c9f2edc08

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