From e2912a855275bb468f71212b3da15f64237332de Mon Sep 17 00:00:00 2001 From: Matt Brubeck Date: Wed, 28 Jan 2015 08:43:41 -0800 Subject: [PATCH] Remove the unused support/time submodule. Fixes #4748. r? @jdm --- .gitmodules | 3 --- support/time | 1 - 2 files changed, 4 deletions(-) delete mode 160000 support/time diff --git a/.gitmodules b/.gitmodules index 62bfa714d71..cbc43176bd7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,6 +4,3 @@ [submodule "support/android-rs-glue"] path = support/android-rs-glue url = https://github.com/servo/android-rs-glue -[submodule "support/time"] - path = support/time - url = https://github.com/servo/time diff --git a/support/time b/support/time deleted file mode 160000 index 41ecbd6f0fb..00000000000 --- a/support/time +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 41ecbd6f0fbec92c4b2ac312e853fccdbe63d89b