mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
12 lines
514 B
TypeScript
12 lines
514 B
TypeScript
/**
|
|
* Copyright (c) 2021 Gitpod GmbH. All rights reserved.
|
|
* Licensed under the GNU Affero General Public License (AGPL).
|
|
* See License.AGPL.txt in the project root for license information.
|
|
*/
|
|
|
|
import * as protocol from "@gitpod/gitpod-protocol/lib/workspace-cluster";
|
|
|
|
// This interface lives in protocol due to dependency issues but is re-exported here for consistency.
|
|
export const WorkspaceClusterDB = protocol.WorkspaceClusterDB;
|
|
export interface WorkspaceClusterDB extends protocol.WorkspaceClusterDB {}
|