| Index: mojo/tools/roll/rev_sdk.py
|
| diff --git a/mojo/tools/roll/rev_sdk.py b/mojo/tools/roll/rev_sdk.py
|
| index 54c5ead6070f3bc10219ee55578bb31b5397d5ad..46180a1120cfc5f1c96f0edb9f7e596985b9691d 100755
|
| --- a/mojo/tools/roll/rev_sdk.py
|
| +++ b/mojo/tools/roll/rev_sdk.py
|
| @@ -20,6 +20,7 @@ dirs_to_clone = [
|
| "mojo/services/gpu/public",
|
| "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",
|
|
|