| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/directoryset/DirectorySetListener.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/directoryset/DirectorySetListener.java (revision 16302)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/directoryset/DirectorySetListener.java (working copy)
|
| @@ -19,8 +19,8 @@
|
| *
|
| * @see DirectorySetManager
|
| * @see DirectorySetListener
|
| - * @see FilesView
|
| */
|
| +@Deprecated
|
| public interface DirectorySetListener {
|
| /**
|
| * This methods is called from the {@link DirectorySetManager} whenever a changes has happened to
|
|
|