2020-11-17 22:16:35 +00:00
|
|
|
/* eslint @typescript-eslint/naming-convention:off */
|
|
|
|
|
2020-11-12 22:32:53 +00:00
|
|
|
declare let __webpack_public_path__: string;
|
2020-12-13 15:45:14 +00:00
|
|
|
declare let ruffleRuntimePath: string;
|
2020-11-12 22:32:53 +00:00
|
|
|
declare let __CHANNEL__: string;
|
|
|
|
declare let __COMMIT_DATE__: string;
|