From 3c47bd48777b44f0d9a2dae55fbadcb1a37721f1 Mon Sep 17 00:00:00 2001
From: Kris Giesing <kgiesing@google.com>
Date: Mon, 7 Dec 2015 10:42:11 -0800
Subject: [PATCH] Don't copy mojo keyboard service now that they have diverged.

Related to #299.
---
 sky/tools/roll/roll.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sky/tools/roll/roll.py b/sky/tools/roll/roll.py
index 49079959a..2ad9a2781 100755
--- a/sky/tools/roll/roll.py
+++ b/sky/tools/roll/roll.py
@@ -84,7 +84,6 @@ dirs_from_mojo = [
     'mojo/message_pump',
     'mojo/services',
     'services/asset_bundle',
-    'services/keyboard',
     'services/sensors',
 ]
 
-- 
GitLab