| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java
|
| index 60d655ca69e0164d1a63a0fcf40c3b797ada09a9..014ddc475bc6244bde897565a9fbfc4248a59382 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ServerService.java
|
| @@ -24,4 +24,5 @@ package com.google.dart.server.generated.types;
|
| public class ServerService {
|
|
|
| public static final String STATUS = "STATUS";
|
| +
|
| }
|
|
|