处理连接失败异常

zhangjian

2023-08-19 3940ebf3e39da287974c4f49474e668d33fed2df

1
2
import { GeoJSONRegion } from '../Region.js';
export default function fixNanhai(mapType: string, regions: GeoJSONRegion[]): void;