| Index: dart/editor/tools/plugins/com.google.dart.tools.core/build.properties
|
| diff --git a/dart/editor/tools/plugins/com.google.dart.tools.core/build.properties b/dart/editor/tools/plugins/com.google.dart.tools.core/build.properties
|
| index 17db85b43d3b5caba40e12a483850f7d5a457e1b..a7ba8b7527667f8770b4fe9fd1f1dfa521bce4c1 100644
|
| --- a/dart/editor/tools/plugins/com.google.dart.tools.core/build.properties
|
| +++ b/dart/editor/tools/plugins/com.google.dart.tools.core/build.properties
|
| @@ -5,4 +5,5 @@ bin.includes = META-INF/,\
|
| .,\
|
| plugin.properties,\
|
| plugin.xml,\
|
| - .options
|
| + .options,\
|
| + update.properties
|
|
|