修改了不会重复页面的一些bug

feige

2023-06-06 a85494cc5769c3dab7f210c012fba1c45103e779

1
2
3
4
5
6
7
8
9
10
/***
 * Node External Editor
 *
 * Kevin Gravier <kevin@mrkmg.com>
 * MIT 2018
 */
export declare class ReadFileError extends Error {
    originalError: Error;
    constructor(originalError: Error);
}