| Index: runtime/bin/directory_patch.dart
|
| diff --git a/runtime/bin/directory_patch.dart b/runtime/bin/directory_patch.dart
|
| index 6d42f8b507ac51b246395e3a5c368cef2d7a9bd3..cb844f7de325806b6d5121b46c98ea80227b3297 100644
|
| --- a/runtime/bin/directory_patch.dart
|
| +++ b/runtime/bin/directory_patch.dart
|
| @@ -11,6 +11,8 @@ patch class _Directory {
|
| native "Directory_Delete";
|
| /* patch */ static _rename(String path, String newPath)
|
| native "Directory_Rename";
|
| + /* patch */ static List _list(String path, bool recursive)
|
| + native "Directory_List";
|
| /* patch */ static SendPort _newServicePort()
|
| native "Directory_NewServicePort";
|
| }
|
|
|