add api report

Signed-off-by: Brian Phillips <28457+brianphillips@users.noreply.github.com>
2023-05-17 14:01:42 -05:00
parent c312192e61
commit 4c7e90706e
1 changed files with 3 additions and 0 deletions
@@ -40,6 +40,9 @@ export type DevToolsInfo = {
 // @public (undocumented)
 export const devToolsInfoReadPermission: BasicPermission;

+// @public
+export const devToolsPermissions: BasicPermission[];
+
 // @public (undocumented)
 export type Endpoint = {
  name: string;