Some cleanup for PR: #44461

This commit is contained in:
Dirk Baeumer
2018-06-07 15:52:37 +02:00
parent eb6a58287d
commit 349d29d8bd
8 changed files with 22 additions and 19 deletions

View File

@@ -16,6 +16,7 @@ export interface TaskPresentationOptionsDTO {
echo?: boolean;
focus?: boolean;
panel?: number;
showReuseMessage?: boolean;
}
export interface ExecutionOptionsDTO {