mirror of
https://github.com/voideditor/void
synced 2026-05-23 17:38:23 +00:00
dummy commit
This commit is contained in:
parent
e5c72ac13e
commit
fb5ae96a44
1 changed files with 1 additions and 0 deletions
|
|
@ -11,6 +11,7 @@ import * as dom from '../../../../base/browser/dom.js';
|
|||
import { IMetricsService } from '../common/metricsService.js';
|
||||
|
||||
|
||||
|
||||
export interface IMetricsPollService {
|
||||
readonly _serviceBrand: undefined;
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue