From 9e37dd65cbfbedb976ce0d7da27caf4a5360efbf Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Thu, 3 May 2012 20:25:57 -0700
Subject: [PATCH] Rename widget to platform

---
 src/servo/{widget => platform}/base.rs | 0
 src/servo/servo.rc                     | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename src/servo/{widget => platform}/base.rs (100%)

diff --git a/src/servo/widget/base.rs b/src/servo/platform/base.rs
similarity index 100%
rename from src/servo/widget/base.rs
rename to src/servo/platform/base.rs
diff --git a/src/servo/servo.rc b/src/servo/servo.rc
index b79f2c16139..27e0e0c2edf 100755
--- a/src/servo/servo.rc
+++ b/src/servo/servo.rc
@@ -37,7 +37,7 @@ mod parser {
     mod html;
 }
 
-mod widget {
+mod platform {
     mod base;
 }