| Index: mojo/services/terminal/public/interfaces/terminal.mojom
|
| diff --git a/mojo/services/terminal/public/interfaces/terminal.mojom b/mojo/services/terminal/public/interfaces/terminal.mojom
|
| index a09ac6b3080a6604285932aae3031c4ae10c1441..c9c928a5f351921df1adf9412ce417d02479df5a 100644
|
| --- a/mojo/services/terminal/public/interfaces/terminal.mojom
|
| +++ b/mojo/services/terminal/public/interfaces/terminal.mojom
|
| @@ -5,8 +5,8 @@
|
| [DartPackage="mojo_services"]
|
| module mojo.terminal;
|
|
|
| -import "files/public/interfaces/file.mojom";
|
| -import "files/public/interfaces/types.mojom";
|
| +import "files/interfaces/file.mojom";
|
| +import "files/interfaces/types.mojom";
|
| import "terminal/public/interfaces/terminal_client.mojom";
|
|
|
| // Interface for actual terminal programs, in particular, for a single terminal
|
|
|