| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/DebugService.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/DebugService.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/DebugService.java
|
| index 0df278ae356bf192718c761253a080d6bbb6c874..6a284c367b81f33cbc81517690f153731ee94ca2 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/DebugService.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/DebugService.java
|
| @@ -24,4 +24,5 @@ package com.google.dart.server.generated.types;
|
| public class DebugService {
|
|
|
| public static final String LAUNCH_DATA = "LAUNCH_DATA";
|
| +
|
| }
|
|
|