| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/directoryset/DirectorySetEvent.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/directoryset/DirectorySetEvent.java (revision 16302)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/directoryset/DirectorySetEvent.java (working copy)
|
| @@ -25,5 +25,6 @@
|
| * @see DirectorySetManager
|
| * @see DirectorySetListener
|
| */
|
| +@Deprecated
|
| public class DirectorySetEvent {
|
| }
|
|
|