| Index: mandoline/ui/desktop_ui/browser_commands.h
|
| diff --git a/mandoline/ui/desktop_ui/browser_commands.h b/mandoline/ui/desktop_ui/browser_commands.h
|
| index 9d0b0cfee1f341dec6585f232c72b0bb7ea4aeb7..df18c68f163dc8fb68c7da840cd29c49585d7c76 100644
|
| --- a/mandoline/ui/desktop_ui/browser_commands.h
|
| +++ b/mandoline/ui/desktop_ui/browser_commands.h
|
| @@ -5,6 +5,8 @@
|
| #ifndef MANDOLINE_UI_DESKTOP_UI_BROWSER_COMMANDS_H_
|
| #define MANDOLINE_UI_DESKTOP_UI_BROWSER_COMMANDS_H_
|
|
|
| +#include <stdint.h>
|
| +
|
| namespace mandoline {
|
|
|
| enum class BrowserCommand : uint32_t {
|
|
|