| Index: mojo/tools/roll/rev_sdk.py
|
| diff --git a/mojo/tools/roll/rev_sdk.py b/mojo/tools/roll/rev_sdk.py
|
| index de9a87114835b60acb3a3c8981e28c603b7e5cdc..02b4bed10f98d548262efce85cbc692c80ef8f61 100755
|
| --- a/mojo/tools/roll/rev_sdk.py
|
| +++ b/mojo/tools/roll/rev_sdk.py
|
| @@ -21,7 +21,6 @@ dirs_to_clone = [
|
| "mojo/services/input_events/public",
|
| "mojo/services/native_viewport/public",
|
| "mojo/services/navigation/public",
|
| - "mojo/services/network/public",
|
| "mojo/services/surfaces/public",
|
| "mojo/services/view_manager/public",
|
| "mojo/services/window_manager/public",
|
|
|