Update type

This commit is contained in:
Ramon Wenger 2023-02-21 17:26:25 +01:00
parent 811e973401
commit eda40bf7b7
1 changed files with 1 additions and 1 deletions

View File

@ -1,6 +1,6 @@
export type numberOrUndefined = number | undefined;
type types = 'task' | 'normal' | 'base_communication' | 'base_society' | 'base_interdisciplinary';
type types = 'task' | 'normal' | 'base_communication' | 'base_society' | 'base_interdisciplinary' | 'instrument';
export interface Page {
id: string;